wip

ygrek · Aug 21, 2024 · 1432b6e · 1432b6e
1 parent 98767a1
commit 1432b6e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/workflow.yml b/.github/workflows/workflow.yml
@@ -59,7 +59,7 @@ jobs:
       # https://github.com/ocaml/setup-ocaml/issues/815#issuecomment-2204838759
       # SHELLOPTS workaround for windows
       # setting SHELLOPTS via GITHUB_ENV didn't work for some reason
-      - run: opam exec -- env SHELLOPTS=igncr sh ./configure --enable-debug
+      - run: opam exec -- env SHELLOPTS=igncr sh ./configure --enable-debug --disable-pthread
 
       - run: opam exec -- make