fix CI

CertiCoq · Oct 5, 2023 · 856f0dc · 856f0dc
1 parent ab250af
commit 856f0dc
Showing 1 changed file with 7 additions and 3 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -29,16 +29,20 @@ jobs:
  with:
  custom_image: ${{ matrix.image }}
  opam_file: ${{ matrix.opam_file }}
+ before_install: |
+ startGroup "fix permission issues"
+ sudo chown -R coq:coq .
+ endGroup
+ startGroup "opam pin"
+ opam pin -n -y submodules/metacoq
+ endGroup
  before_script: |
  startGroup "fix permission issues"
  sudo chown -R coq:coq .
  endGroup
  startGroup "Copy repo (for later benchmarking)"
  cp -r `pwd` ~/repo
  endGroup
- startGroup "opam pin"
- opam pin -y submodules/metacoq
- endGroup
  after_script: |
  startGroup "List installed packages"
  opam list