prefix everything with opam exec

goblint · Jul 13, 2022 · 7f428b6 · 7f428b6
1 parent 4e1a074
commit 7f428b6
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
@@ -26,9 +26,9 @@ jobs:
       - run: eval $(opam env)
       - name: Install and Build 🔧 # This example project is built using npm and outputs the result to the 'build' folder. Replace with the commands required to build your project, or remove this step entirely if your site is pre-built.
         run: |
-          ./configure
-          make
-          make doc
+          opam exec -- ./configure
+          opam exec -- make
+          opam exec -- make doc
 
       - name: Deploy 🚀
         uses: JamesIves/github-pages-deploy-action@v4