[js] [deps] Bundle WaterProof 2.2.0+8.17 in JS build

cc: #888
ejgallego · Feb 27, 2025 · 908ad3b · 908ad3b
1 parent 83ea18e
commit 908ad3b
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -116,6 +116,10 @@ jobs:
           opam pin add js_of_ocaml -k version 5.9.1 -y
           opam install zarith_stubs_js js_of_ocaml-ppx -y
 
+      - name: 💧💧💧 Install additional deps (waterproof)
+        run: |
+          opam install coq-waterproof.2.2.0+8.17 -y
+
       - name: 💉💉💉 Patch Coq
         run: make patch-for-js