ci: Switch to Github Actions

.github/workflows/build-with-make.yml

@@ -0,0 +1,38 @@
+name: Build with Make
+
+on:
+  push:
+    branches:
+      - master
+  pull_request:
+    branches:
+      - '**'
+
+jobs:
+  build-with-make:
+    # the OS must be GNU/Linux to be able to use the docker-coq-action
+    runs-on: ubuntu-latest
+    strategy:
+      matrix:
+        image:
+          - 'coqorg/coq:8.20'
+      fail-fast: false
+    steps:
+      - uses: actions/checkout@v4
+      - uses: coq-community/docker-coq-action@v1
+        with:
+          opam_file: 'coq-itree.opam'
+          custom_image: ${{ matrix.image }}
+          before_script: |
+            startGroup "Workaround permission issue"
+              sudo chown -R 1000:1000 .
+            endGroup
+          script: |
+            startGroup "Build"
+              make all
+              make install
+            endGroup
+          after_script: |
+            startGroup "Clean"
+              make clean
+            endGroup

.github/workflows/docker-action.yml

@@ -0,0 +1,50 @@
+# This file was generated from `meta.yml`, please do not edit manually.
+# Follow the instructions on https://github.com/coq-community/templates to regenerate.
+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:
+        image:
+          - 'coqorg/coq:8.14'
+          - 'coqorg/coq:8.15'
+          - 'coqorg/coq:8.16'
+          - 'coqorg/coq:8.17'
+          - 'coqorg/coq:8.18'
+          - 'coqorg/coq:8.19'
+          - 'coqorg/coq:8.20'
+          - 'rocq/rocq-prover:9.0'
+          - 'rocq/rocq-prover:dev'
+      fail-fast: false
+    steps:
+      - uses: actions/checkout@v4
+      - uses: coq-community/docker-coq-action@v1
+        with:
+          opam_file: 'coq-itree.opam'
+          custom_image: ${{ matrix.image }}
+          after_script: |
+            startGroup "Test dependants"
+              PINS=$(opam list -s --pinned --columns=package | xargs | tr ' ' ,)
+              PACKAGES=`opam list -s --depends-on coq-itree --coinstallable-with $PINS`
+              for PACKAGE in $PACKAGES
+              do DEPS_FAILED=false
+                 opam install -y --deps-only $PACKAGE || DEPS_FAILED=true
+                 [ $DEPS_FAILED == true ] || opam install -t $PACKAGE
+              done
+            endGroup
+
+
+# See also:
+# https://github.com/coq-community/docker-coq-action#readme
+# https://github.com/erikmd/docker-coq-github-action-demo

meta.yml

@@ -0,0 +1,17 @@
+fullname: Interaction Trees
+shortname: itree
+organization: DeepSpec
+action: true
+ci_test_dependants: true
+dune: true
+tested_coq_opam_versions:
+- version: '8.14'
+- version: '8.15'
+- version: '8.16'
+- version: '8.17'
+- version: '8.18'
+- version: '8.19'
+- version: '8.20'
+tested_rocq_opam_versions:
+- version: '9.0'
+- version: 'dev'