Add CI

libtx · Sep 18, 2023 · 8fe599f · 8fe599f
1 parent ec13258
commit 8fe599f
Showing 1 changed file with 12 additions and 2 deletions.
diff --git a/.github/workflows/coqchk.yml b/.github/workflows/coqchk.yml
@@ -10,11 +10,21 @@ jobs:
         coq_version:
           - '8.17'
         ocaml_version: ['default']
-      fail-fast: true
+      fail-fast: true  # don't stop jobs if one fails
     steps:
       - uses: actions/checkout@v3
+      - uses: actions/checkout@v3
+        with:
+          ref: 'main'
+          repository: 'libtx/Storage'
+          path: '.deps/Storage'
+      # Build the main project:
       - uses: coq-community/docker-coq-action@v1
         with:
-          opam_file: 'coq-libtx-storage.opam'
+          opam_file: 'coq-libtx-slot.opam'
           coq_version: ${{ matrix.coq_version }}
           ocaml_version: ${{ matrix.ocaml_version }}
+          before_install: |
+            pwd
+            find $WORKDIR
+            opam pin add -n -y -k path coq-libtx-storage .deps/Storage