feat: Update test.yml to trigger integration tests

* Fix test.sh so it can be run from the parent dir

2 files changed, 42 insertions, 1 deletions

diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
index 0cc6027a..e695f435 100644
--- a/.github/workflows/test.yml
+++ b/.github/workflows/test.yml
@@ -38,3 +38,44 @@ jobs:
 
     - run: emacs --version
     - run: make
+
+  test:
+    runs-on: ubuntu-latest
+
+    strategy:
+      matrix:
+        emacs_version:
+          # the emacs version in Ubuntu 18.04 LTS
+          - 25.2
+          # the emacs version in Debian Buster
+          - 26.1
+          # the emacs version in Debian Sid
+          # - 26.3
+        coq_version:
+          - 8.11
+        ocaml_version:
+          - 4.07-flambda
+      # at most 20 concurrent jobs per free account
+      # cf. https://help.github.com/en/actions/reference/workflow-syntax-for-github-actions#usage-limit
+      max-parallel: 5
+
+    steps:
+    - uses: actions/checkout@v2
+
+    - uses: purcell/setup-emacs@master
+      with:
+        version: ${{ matrix.emacs_version }}
+
+    - uses: erikmd/docker-coq-action@alpha
+      id: docker-coq-action
+      with:
+        opam_file: 'dummy.opam'
+        coq_version: ${{ matrix.coq_version }}
+        ocaml_version: ${{ matrix.ocaml_version }}
+        custom_script: |
+          startGroup Print opam config
+            opam config list; opam repo list; opam list
+          endGroup
+          startGroup Run tests
+            ./ci/test.sh
+          endGroup
diff --git a/ci/test.sh b/ci/test.sh
index 661f8f7a..b29d5af7 100755
--- a/ci/test.sh
+++ b/ci/test.sh
@@ -35,4 +35,4 @@ rootdir=$( cd "$( dirname "${BASH_SOURCE[0]}" )" >/dev/null && pwd )
 # form="(message \"OK\")"
 form="(progn (add-to-list 'load-path \"$rootdir\") (add-to-list 'load-path \"$srcdir\"))"
 
-assert emacs --batch -l ert -l init-tests.el --eval "$form" -l proof-general.el -l coq-tests.el -f ert-run-tests-batch-and-exit
+assert emacs --batch -l ert --eval "$form" -l init-tests.el -l proof-general.el -l coq-tests.el -f ert-run-tests-batch-and-exit