Code

Add windows CI#64

Code

Open

digama0 wants to merge 7 commits intomastermetamath/metamath-exe:masterfrom win-cimetamath/metamath-exe:win-ciCopy head branch name to clipboard

+66-23

Commits

Commits on Feb 9, 2022

• set up Windows CI

  digama0

  committed
  5f9f67d

  Copy full SHA for 5f9f67d

• fix pointer cast

  digama0

  committed
  9437b41

  Copy full SHA for 9437b41

• fix cast

  digama0

  committed
  180c46d

  Copy full SHA for 180c46d

• test

  digama0

  committed
  6bea545

  Copy full SHA for 6bea545

• fix for 4 byte long

  digama0

  committed
  959672d

  Copy full SHA for 959672d

• test

  digama0

  committed
  048532b

  Copy full SHA for 048532b

Commits on Feb 11, 2022

• Merge branch 'master' into win-ci

  digama0

  committed
  f71d7ca

  Copy full SHA for f71d7ca