CC=gcc

mit-plv · Sep 20, 2024 · 0da70bb · 0da70bb
1 parent d419cf1
commit 0da70bb
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/coq-windows.yml b/.github/workflows/coq-windows.yml
@@ -31,6 +31,7 @@ jobs:
       COQCHKEXTRAFLAGS: ""
       OPAMYES: "true"
       OPAMCONFIRMLEVEL: "unsafe-yes"
+      CC: "gcc" # there doesn't seem to be a way to make opam install cc
 
     steps:
     - uses: actions/checkout@v4