Merge branch 'v8.19' into v8.18

ejgallego · Sep 29, 2024 · f3823f5 · f3823f5
2 parents d37672b + 6d12528
commit f3823f5
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -119,6 +119,7 @@ jobs:
           opam install zarith_stubs_js js_of_ocaml-ppx -y
 
       - name: 💉💉💉 Patch Coq
+        if: false # FIXME, Coq is in opam but needs to be patched for the worker to be functional
         run: make patch-for-js
 
       - name: 🦏🧱🦏 Build coq-lsp JS version 🦏🦏🦏