CI

imandra-ai · Sep 20, 2024 · 5dd6809 · 5dd6809
1 parent 7629e41
commit 5dd6809
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/.github/workflows/gh-pages.yml b/.github/workflows/gh-pages.yml
@@ -11,6 +11,9 @@ jobs:
     steps:
       - uses: actions/checkout@main
 
+      # needed for depext to work
+      - run: sudo apt-get update && sudo apt-get install mccs
+
       - uses: ocaml/setup-ocaml@v2
         with:
           ocaml-compiler: '5.1.x'