diff options
| -rw-r--r-- | .github/workflows/test.yml | 41 | ||||
| -rwxr-xr-x | ci/test.sh | 2 |
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 @@ -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 |