Update coq-docker.yml: opam update before install js_of_ocaml

mit-plv · Nov 20, 2023 · b91816a · b91816a
1 parent 00a4b8e
commit b91816a
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/coq-docker.yml b/.github/workflows/coq-docker.yml
@@ -65,6 +65,7 @@ jobs:
         export: CI ALLOW_DIFF COQCHKEXTRAFLAGS
         custom_script: |
           eval $(opam env)
+          opam update -y
           opam install -y js_of_ocaml
           etc/ci/github-actions-docker-make.sh ${EXTRA_GH_REPORTIFY} -j2 standalone-js-of-ocaml
     - name: install-standalone-js-of-ocaml