Try to find binaries in CI

GillianPlatform · Jun 26, 2024 · 618ce97 · 618ce97
1 parent d23bf44
commit 618ce97
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -53,7 +53,7 @@ jobs:
       - name: Packing binaries & dependencies for artifact
         run: |
           pwd
-          find _opam
+          opam exec -- which wisl
           make dist
       - name: Sending artifact for next jobs
         uses: actions/upload-artifact@v3