From 8bca3fbcf3e2aa51e1035ec0349dc52b652bb9ad Mon Sep 17 00:00:00 2001
From: Hendrik Tews
Date: Wed, 9 Dec 2020 20:33:57 +0100
Subject: enable coq background compilation tests in github CI

extend the github workflow to additionally run the tests in
ci/compile-tests
---
 .github/workflows/test.yml | 42 ++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 42 insertions(+)

diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
index 840017f4..b6b5d226 100644
--- a/.github/workflows/test.yml
+++ b/.github/workflows/test.yml
@@ -95,3 +95,45 @@ jobs:
           endGroup
 
   # - run: echo "::remove-matcher owner=ert-problem-matcher::"
+
+  compile-test:
+    runs-on: ubuntu-latest
+
+    strategy:
+      matrix:
+        coq_version:
+          - '8.9'
+          - '8.10'
+          - '8.11'
+        ocaml_version:
+          - minimal
+      # 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: 6
+      # don't cancel all in-progress jobs if one matrix job fails:
+      fail-fast: false
+
+    steps:
+    - uses: actions/checkout@v2
+
+    - name: Add ert problem matcher
+      run: echo "::add-matcher::.github/ert.json"
+      
+    - uses: coq-community/docker-coq-action@v1
+      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 Install emacs
+            sudo apt-get update -y -q
+            sudo DEBIAN_FRONTEND=noninteractive apt-get install -y -q --no-install-recommends emacs
+          endGroup
+          startGroup Run tests
+            sudo chown -R coq:coq ./ci
+            make -C ci/compile-tests test
+          endGroup
-- 
cgit v1.2.3