Update coq-docker.yml with sudo

mit-plv · Nov 16, 2023 · 2892821 · 2892821
1 parent 0028ed1
commit 2892821
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/.github/workflows/coq-docker.yml b/.github/workflows/coq-docker.yml
@@ -96,23 +96,23 @@ jobs:
         ocaml_version: ${{ matrix.env.DOCKER_OCAML_VERSION }}
         export: CI ALLOW_DIFF COQCHKEXTRAFLAGS
         custom_script: |
-          etc/ci/github-actions-docker-make.sh ${EXTRA_GH_REPORTIFY} EXTERNAL_DEPENDENCIES=1 SKIP_COQSCRIPTS_INCLUDE=1 install install-standalone-ocaml
+          sudo etc/ci/github-actions-docker-make.sh ${EXTRA_GH_REPORTIFY} EXTERNAL_DEPENDENCIES=1 SKIP_COQSCRIPTS_INCLUDE=1 install install-standalone-ocaml
     - name: install-without-bedrock2
       uses: coq-community/docker-coq-action@v1
       with:
         coq_version: ${{ matrix.env.DOCKER_COQ_VERSION }}
         ocaml_version: ${{ matrix.env.DOCKER_OCAML_VERSION }}
         export: CI ALLOW_DIFF COQCHKEXTRAFLAGS
         custom_script: |
-          etc/ci/github-actions-docker-make.sh ${EXTRA_GH_REPORTIFY} EXTERNAL_DEPENDENCIES=1 SKIP_BEDROCK2=1 install-without-bedrock2 install-standalone-ocaml
+          sudo etc/ci/github-actions-docker-make.sh ${EXTRA_GH_REPORTIFY} EXTERNAL_DEPENDENCIES=1 SKIP_BEDROCK2=1 install-without-bedrock2 install-standalone-ocaml
     - name: install-dev
       uses: coq-community/docker-coq-action@v1
       with:
         coq_version: ${{ matrix.env.DOCKER_COQ_VERSION }}
         ocaml_version: ${{ matrix.env.DOCKER_OCAML_VERSION }}
         export: CI ALLOW_DIFF COQCHKEXTRAFLAGS
         custom_script: |
-          etc/ci/github-actions-docker-make.sh ${EXTRA_GH_REPORTIFY} EXTERNAL_REWRITER=1 EXTERNAL_COQPRIME=1 install install-standalone-ocaml
+          sudo etc/ci/github-actions-docker-make.sh ${EXTRA_GH_REPORTIFY} EXTERNAL_REWRITER=1 EXTERNAL_COQPRIME=1 install install-standalone-ocaml
     - name: display timing info
       run: cat time-of-build-pretty.log
     - name: display per-line timing info