Attempt

Author: Halbaroth

.github/workflows/build_static.yml

@@ -98,7 +98,10 @@ jobs:
         run: git fetch --tags --force
 
       - name: Install static dependencies
-        run: sudo apk add zlib-static gmp-static
+        run: sudo apk add zlib-static
+
+      - name: Update opam repository
+        run: opam update
 
       - run: opam switch create . ocaml-system --locked --deps-only --ignore-constraints-on alt-ergo-lib,alt-ergo-parsers