Merge pull request #70 from coq-community/opam-ci-test

use opam testing facilities to run tests in CI

Author: proux01

.github/workflows/coq-action.yml

@@ -23,31 +23,9 @@ jobs:
         with:
           opam_file: 'coq-paramcoq.opam'
           custom_image: ${{ matrix.image }}
-          custom_script: |
-            startGroup Print opam config
-              opam config list; opam repo list; opam list
-            endGroup
-            startGroup Build dependencies
-              opam pin add -n -y -k path $PACKAGE $WORKDIR
-              opam update -y
-              opam install -y -j 2 $PACKAGE --deps-only
-            endGroup
-            startGroup Build
-              opam install -y -v -j 2 $PACKAGE
-              opam list
-            endGroup
-            startGroup Workaround permission issue
-              sudo chown -R coq:coq .
-            endGroup
-            startGroup Run tests
-              make -C test-suite examples
-            endGroup
-            startGroup Uninstallation test
-              opam remove $PACKAGE
-            endGroup
-      - name: Revert permissions
-        if: ${{ always() }}
-        run: sudo chown -R 1001:116 .
+          export: 'OPAMWITHTEST'
+        env:
+          OPAMWITHTEST: 'true'
 
 # See also:
 # https://github.com/coq-community/docker-coq-action#readme

coq-paramcoq.opam

@@ -13,7 +13,10 @@ The plugin is still in an experimental state. It is not very user friendly (lack
 """
 
 build: [make "-j%{jobs}%" ]
-install: [make "install"]
+install: [
+  [make "install"]
+  [make "-C" "test-suite" "examples"] {with-test}
+]
 depends: [
   "coq" {= "dev" }
 ]