test action

logsem · Aug 27, 2024 · 347f83d · 347f83d
1 parent 507d01a
commit 347f83d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -19,4 +19,4 @@ jobs:
       - uses: actions/checkout@v4
       - name: make-ci
         shell: bash -l {0}
-        run: export HOME=/root; echo $HOME; make ci -j2
+        run: export HOME=/root; eval $(opam env); make ci -j2