windows build?

.github/workflows/build-all.yml

@@ -12,3 +12,6 @@ jobs:
 
   build-macos:
     uses: ./.github/workflows/build-macos.yml
+
+  build-windows:
+    uses: ./.github/workflows/build-windows.yml

.github/workflows/build-linux.yml

@@ -12,7 +12,7 @@ defaults:
     shell: bash
 
 jobs:
-  build:
+  build-linux:
     runs-on: ubuntu-22.04
     # We prefer slightly older Ubuntu so we get binaries that work on
     # all more recent versions.

.github/workflows/build-macos.yml

@@ -5,7 +5,7 @@ on:
   workflow_call:
 
 jobs:
-  build:
+  build-macos:
     runs-on: macos-latest
     steps:
       - uses: actions/checkout@master

.github/workflows/build-windows.yml

@@ -0,0 +1,36 @@
+name: Build F* (Windows)
+
+# Build F* on Windows
+
+on:
+  workflow_call:
+  workflow_dispatch:
+  push:
+
+# defaults:
+#   run:
+#     shell:
+#       bash
+#       # ^ avoid powershell!
+
+jobs:
+  build-windows:
+    # NOTE! Unlike our other builds, this requires a self-hosted
+    # runner (for now?)
+    runs-on: [self-hosted, Windows, X64, opam-2-3]
+
+    steps:
+      - uses: actions/checkout@master
+
+      - name: Set version
+        shell: C:\cygwin64\bin\bash.exe --login '{0}'
+        run: |
+          if [[ "${{github.workflow_ref}}" =~ "nightly.yml" ]]; then echo FSTAR_VERSION="nightly-$(date -I)" >> $GITHUB_ENV; elif [[ "${{github.workflow_ref}}" =~ "release.yml" ]]; then echo FSTAR_VERSION="$(cat version.txt)" >> $GITHUB_ENV; fi && echo "There is a CR at the end of this line"
+      - name: Build package
+        shell: C:\cygwin64\bin\bash.exe --login '{0}'
+        run: |
+          eval $(opam env) && CC=x86_64-w64-mingw32-gcc.exe make -skj$(nproc) package FSTAR_TAG=-Windows_NT-x86_64 V=1 && echo "There is a CR at the end of this line"
+      - uses: actions/upload-artifact@v4
+        with:
+          path: fstar-Windows_NT-x86_64.tar.gz
+          name: fstar-Windows_NT-x86_64.tar.gz