Skip to content

Commit

Permalink
Update .github/workflows/docker-action.yml
Browse files Browse the repository at this point in the history
  • Loading branch information
erikmd committed Feb 16, 2024
1 parent 1e2e235 commit 29e9de3
Showing 1 changed file with 9 additions and 17 deletions.
26 changes: 9 additions & 17 deletions .github/workflows/docker-action.yml
Original file line number Diff line number Diff line change
Expand Up @@ -27,25 +27,17 @@ jobs:
with:
opam_file: 'coq-bignums.opam'
custom_image: ${{ matrix.image }}
custom_script: |
startGroup Print opam config
opam config list; opam repo list; opam list
echo NJOBS=${NJOBS}
endGroup
startGroup Build coq-bignums
install: |
startGroup "Install dependencies"
# sudo apt-get update -y -q
opam remove -y coq-bignums # remove coq-bignums already in image
opam pin add -n -y -k path coq-bignums .
opam install -y -v -j ${NJOBS} coq-bignums
opam list
endGroup
startGroup Test coq-bignums
git config --global --add safe.directory /github/workspace # to avoid git clean below complaining
git clean -dxf .
make -j ${NJOBS} -C tests
endGroup
startGroup Uninstallation test
opam remove -y coq-bignums
opam pin add -n -y -k path $PACKAGE $WORKDIR
opam update -y
opam install --confirm-level=unsafe-yes -j 2 $PACKAGE --deps-only
endGroup
export: 'OPAMWITHTEST'
env:
OPAMWITHTEST: 'true'

# See also:
# https://github.com/coq-community/docker-coq-action#readme
Expand Down

0 comments on commit 29e9de3

Please sign in to comment.