run eval $(opam env) before pre-commit?

goblint · Jul 30, 2021 · 0f86542 · 0f86542
1 parent a7d5946
commit 0f86542
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/indentation.yml b/.github/workflows/indentation.yml
@@ -41,4 +41,4 @@ jobs:
         run: opam install -y ocp-indent
 
       - name: Run pre-commit hook on changes since last push
-        run: git reset --soft ${{ github.event.before }} && ./scripts/hooks/pre-commit
+        run: git reset --soft ${{ github.event.before }} && eval $(opam env) && ./scripts/hooks/pre-commit