From ef5f0434b2e5736326ec7c3a07ae4a32f00689b6 Mon Sep 17 00:00:00 2001
From: Mario Carneiro <di.gama@gmail.com>
Date: Wed, 9 Feb 2022 03:11:30 -0500
Subject: [PATCH] set up Windows CI

---
 .github/workflows/build.yml | 41 ++++++++++++++++++++++++++++++++++++-
 1 file changed, 40 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index 545198d9..22ca22fb 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -6,7 +6,7 @@ name: ci
 
 jobs:
   build:
-    name: Build
+    name: Build Linux
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v2
@@ -17,3 +17,42 @@ jobs:
       - name: test
         working-directory: tests
         run: env METAMATH=../metamath ./run_test.sh *.in
+
+  build-win:
+    name: Build Windows (MSVC)
+    runs-on: windows-latest
+    steps:
+      - uses: actions/checkout@v2
+      - uses: ilammy/msvc-dev-cmd@v1
+
+      - name: build
+        working-directory: src
+        run: cl.exe *.c
+
+      - name: run
+        working-directory: src
+        run: ./metamath.exe
+
+      - name: test
+        working-directory: tests
+        shell: bash
+        run: env METAMATH=../src/metamath.exe ./run_test.sh *.in
+
+  build-win:
+    name: Build Windows (GCC)
+    runs-on: windows-latest
+    steps:
+      - uses: actions/checkout@v2
+
+      - name: build
+        working-directory: src
+        run: gcc *.c -o metamath.exe
+
+      - name: run
+        working-directory: src
+        run: ./metamath.exe
+
+      - name: test
+        working-directory: tests
+        shell: bash
+        run: env METAMATH=../src/metamath.exe ./run_test.sh *.in