Cleaning and adapting CI.

Author: Matafou

.github/workflows/ci-libhyps.yml

@@ -6,47 +6,26 @@ name: CI
 on:
   # Triggers the workflow on push or pull request events but only for the "master" branch
   push:
-    branches: [ "master" ]
+    branches: [ "coq-8" ]
   pull_request:
-    branches: [ "master" ]
+    branches: [ "coq-8" ]
 
   # Allows you to run this workflow manually from the Actions tab
   workflow_dispatch:
 
 # A workflow run is made up of one or more jobs that can run sequentially or in parallel
 jobs:
-  # This workflow contains a single job called "build"
-  build:
-    # The type of runner that the job will run on
-    runs-on: ubuntu-latest
-    strategy:
-      matrix:
-        image:
-          - 'coqorg/coq:dev'
-          - 'coqorg/coq:8.20'
-          - 'coqorg/coq:8.19'
-          - 'coqorg/coq:8.18'
-          - 'coqorg/coq:8.17'
-          - 'coqorg/coq:8.16'
-    # Steps represent a sequence of tasks that will be executed as part of the job
-    steps:
-      # Checks-out your repository under $GITHUB_WORKSPACE, so your job can access it
-      - uses: actions/checkout@v3
-      - uses: coq-community/docker-coq-action@v1
-        with:
-          opam_file: 'coq-libhyps.opam'
-          custom_image: ${{ matrix.image }}
-        env:
-          OPAMWITHTEST: 'true'
-
-  # This workflow contains a single job called "build"
-  test:
+  # this builds libhyps and also runs the tests
+  build-and-test:
     # The type of runner that the job will run on
     runs-on: ubuntu-latest
+    # this shell variable is detected by "opam install" and triggers
+    # the "run-test" part of the opam project file
+    env:
+      OPAMWITHTEST: 'true'
     strategy:
       matrix:
         image:
-          - 'coqorg/coq:dev'
           - 'coqorg/coq:8.20'
           - 'coqorg/coq:8.19'
           - 'coqorg/coq:8.18'
@@ -58,8 +37,6 @@ jobs:
       - uses: actions/checkout@v3
       - uses: coq-community/docker-coq-action@v1
         with:
-          opam_file: 'coq-libhyps.opam'
+          opam_file: 'rocq-libhyps.opam'
           custom_image: ${{ matrix.image }}
-          export: 'OPAMWITHTEST'  # space-separated list of variables
-    env:
-      OPAMWITHTEST: 'true'
+         # export: 'OPAMWITHTEST'  # space-separated list of variables

CoqMakefile.conf

@@ -27,7 +27,7 @@ run-test: [
 install: [make "install"]
 
 depends: [
-  "coq" {(>= "8.11" & <= "8.21~") | (= "dev")}
+  "coq" {(>= "8.11" & <= "8.21~") }
 ]
 
 tags: [
@@ -52,3 +52,8 @@ or any tactic expecting a hypothesis name as argument.
 It also provides the especialize tactic to ease forward reasoning by
 instantianting one, several or all premisses of a hypothesis.
 "
+
+url {
+  src: "https://github.com/Matafou/LibHyps/archive/refs/tags/3.0.2.tar.gz"
+  checksum: "sha512=???"
+}