diff options
| author | Erik Martin-Dorel | 2020-04-21 22:02:58 +0200 |
|---|---|---|
| committer | GitHub | 2020-04-21 22:02:58 +0200 |
| commit | b53f58e96c1cc2c8d401dd382624f572e3458284 (patch) | |
| tree | 99761d83ac68c18988777a59cadbbe229b5fed7f /.github | |
| parent | 18311b7cc64bbe2b271a45d72b4ba2affa5213bd (diff) | |
| parent | 2346bbafa9dcefe5ed344e758c399e1507817b43 (diff) | |
Merge pull request #483 from ProofGeneral/use-github-actions
Use GitHub actions
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/test.yml | 81 |
1 files changed, 81 insertions, 0 deletions
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml new file mode 100644 index 00000000..4b4bf8ec --- /dev/null +++ b/.github/workflows/test.yml @@ -0,0 +1,81 @@ +name: CI + +on: + push: + branches: + - master + - hybrid + pull_request: + branches: + - '**' + +jobs: + build: + runs-on: ubuntu-latest + + strategy: + matrix: + emacs_version: + - 24.3 + - 24.4 + - 24.5 + - 25.1 + - 25.2 + - 25.3 + - 26.1 + - 26.2 + - 26.3 + # 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: 4 + + steps: + - uses: actions/checkout@v2 + + - uses: purcell/setup-emacs@master + with: + version: ${{ matrix.emacs_version }} + + - 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: + - 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 + + steps: + - uses: actions/checkout@v2 + + - 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 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 + ./ci/test.sh + endGroup |