diff --git a/.github/workflows/run-make-all.yml b/.github/workflows/run-make-all.yml index 5c9bb40b..0ced07a7 100644 --- a/.github/workflows/run-make-all.yml +++ b/.github/workflows/run-make-all.yml @@ -17,6 +17,10 @@ jobs: uses: actions/checkout@v2 with: clean: false + - name: Re-initialize python dependencies + run: | + rm -rf french_law/python/env + ./french_law/python/setup_env.sh - name: Make all run: | OCAMLRUNPARAM=b opam exec -- make dependencies all -B