ci: Switch to Github Actions

.github/workflows/docker-action.yml

@@ -0,0 +1,48 @@
+# 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.12-ocaml-4.11-flambda'
+          - 'coqorg/coq:8.14-ocaml-4.14-flambda'
+          - 'coqorg/coq:8.16'
+          - 'coqorg/coq:8.18'
+          - '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-simple-io.opam'
+          custom_image: ${{ matrix.image }}
+          after_script: |
+            startGroup "Test dependants"
+              PINS=$(opam list -s --pinned --columns=package | xargs | tr ' ' ,)
+              PACKAGES="coq-itree-io coq-quickchick coq-freespec-ffi coq-bonsai "
+              for PACKAGE in $PACKAGES
+              do DEPS_FAILED=false
+                 opam install -y -t --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,16 @@
+fullname: Simple IO
+shortname: simple-io
+action: true
+ci_test_dependants:
+  enabled: true
+  packages: ['coq-itree-io', 'coq-quickchick', 'coq-freespec-ffi', 'coq-bonsai']
+dune: true
+tested_coq_opam_versions:
+- version: '8.12-ocaml-4.11-flambda'
+- version: '8.14-ocaml-4.14-flambda'
+- version: '8.16'
+- version: '8.18'
+- version: '8.20'
+tested_rocq_opam_versions:
+- version: '9.0'
+- version: 'dev'