diff options
| author | Erik Martin-Dorel | 2020-04-17 08:25:13 +0200 |
|---|---|---|
| committer | Erik Martin-Dorel | 2020-04-17 08:39:32 +0200 |
| commit | 41d1750be0c45b51eb4e91ba4832c50a20e5fc2d (patch) | |
| tree | 0ffd78306196b09f3e0bdac300e97d2f7e2459fa /.github/workflows/test.yml | |
| parent | 4849bb7d8c01770e60ff306994e3ef1e7d4a54f1 (diff) | |
feat: Update test.yml to trigger integration tests
* Fix test.sh so it can be run from the parent dir
Diffstat (limited to '.github/workflows/test.yml')
| -rw-r--r-- | .github/workflows/test.yml | 41 |
1 files changed, 41 insertions, 0 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 |