Update coq-action.yml

inQWIRE · Apr 5, 2023 · f37501e · f37501e
1 parent d66b491
commit f37501e
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/coq-action.yml b/.github/workflows/coq-action.yml
@@ -26,6 +26,7 @@ jobs:
       - uses: actions/checkout@v3
       - uses: coq-community/docker-coq-action@v1
         with:
+          opam_file: 'coq-quantumlib.opam'
           coq_version: ${{ matrix.coq_version }}
           ocaml_version: ${{ matrix.ocaml_version }}