CI: fixing the last try

This commit is contained in:
Louis Gesbert 2024-07-05 15:48:45 +02:00
parent 30ab1961cc
commit 0031b3fc47

View File

@ -87,6 +87,11 @@ jobs:
image: ${{ needs.build.outputs.image }} image: ${{ needs.build.outputs.image }}
options: --user root options: --user root
steps: steps:
- name: Fix home
# We need to run as root as a Workaround Github actions issues
# (https://github.com/actions/checkout/issues/1014) but need ~ocaml as
# home.
run: sudo sh -c "echo HOME=/home/ocaml >> ${GITHUB_ENV}"
- name: Check promoted files - name: Check promoted files
run: | run: |
cd /home/ocaml/catala && opam exec -- make check-promoted cd /home/ocaml/catala && opam exec -- make check-promoted