From 41d1750be0c45b51eb4e91ba4832c50a20e5fc2d Mon Sep 17 00:00:00 2001
From: Erik Martin-Dorel
Date: Fri, 17 Apr 2020 08:25:13 +0200
Subject: feat: Update test.yml to trigger integration tests

* Fix test.sh so it can be run from the parent dir
---
 .github/workflows/test.yml | 41 +++++++++++++++++++++++++++++++++++++++++
 1 file changed, 41 insertions(+)

(limited to '.github/workflows')

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
-- 
cgit v1.2.3