fix: temporarily use self-compiled Zig on Windows

leanprover · Sep 22, 2021 · fea6eda · fea6eda
1 parent d57d24e
commit fea6eda
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -52,7 +52,8 @@ jobs:
             release: true
             shell: msys2 {0}
             CMAKE_OPTIONS: -G "Unix Makefiles" -DCMAKE_C_COMPILER=clang -DCMAKE_CXX_COMPILER=clang++ -DAUTO_THREAD_FINALIZATION=OFF
-            zig-url: https://ziglang.org/download/0.8.1/zig-windows-x86_64-0.8.1.zip
+            # TODO: https://github.com/ziglang/zig/pull/9347 + https://github.com/ziglang/zig/pull/9771
+            zig-url: https://pp.ipd.kit.edu/~ullrich/tmp/zig-windows-x86_64-0.9.0-dev.961+aa881c483.zip
       # complete all jobs
       fail-fast: false
     name: ${{ matrix.name }}