Merge pull request #30 from liyishuai/ci

GitHub Actions
plclub · Nov 28, 2023 · de884c2 · de884c2
2 parents 4ea92d8 + 296db2d
commit de884c2
Show file tree

Hide file tree

Showing 6 changed files with 35 additions and 81 deletions.
diff --git a/.circleci/Dockerfile b/.circleci/Dockerfile
diff --git a/.circleci/Dockerfile.8.10 b/.circleci/Dockerfile.8.10
diff --git a/.circleci/Dockerfile.8.11 b/.circleci/Dockerfile.8.11
diff --git a/.circleci/config.yml b/.circleci/config.yml
diff --git a/.github/workflows/docker-action.yml b/.github/workflows/docker-action.yml
@@ -0,0 +1,34 @@
+name: Docker CI
+
+on:
+  push:
+    branches:
+      - master
+  pull_request:
+    branches:
+      - '**'
+
+jobs:
+  build:
+    # the OS must be GNU/Linux to be able to use the docker-coq-action
+    runs-on: ubuntu-latest
+    strategy:
+      matrix:
+        coq:
+          - '8.18'
+          - '8.17'
+          - '8.16'
+          - '8.15'
+          - '8.14'
+      fail-fast: false
+    steps:
+      - uses: actions/checkout@v3
+      - uses: coq-community/docker-coq-action@v1
+        with:
+          opam_file: 'coq-metalib.opam'
+          coq_version: ${{ matrix.coq }}
+
+
+# See also:
+# https://github.com/coq-community/docker-coq-action#readme
+# https://github.com/erikmd/docker-coq-github-action-demo
diff --git a/coq-metalib.opam b/coq-metalib.opam
@@ -9,7 +9,7 @@ tags: "org:plclub"
 homepage: "https://github.com/plclub/metalib"
 bug-reports: "https://github.com/plclub/metalib/issues"
 depends: [
-  "coq" {>= "8.15"}
+  "coq" {>= "8.14"}
 ]
 build: [make "-j%{jobs}%" "-C" "Metalib"]
 install: [make "-C" "Metalib" "install"]