diff options
| author | Erik Martin-Dorel | 2021-02-27 20:42:42 +0100 |
|---|---|---|
| committer | GitHub | 2021-02-27 20:42:42 +0100 |
| commit | 7844e312b2a192c4245d0d05c12908efc5730e3b (patch) | |
| tree | c673977d49e1255e97ae58526bbc3a970c770a0f /.github | |
| parent | cb7a312709c6afe38adf7f8053ca70acb41cb98c (diff) | |
| parent | 3b93f2e1149ebd13e97d6fd4954269c07fe210bd (diff) | |
Merge pull request #553 from ProofGeneral/test-emacsen
test: Add Emacs 27.1 in CI & Bump the minimal-required version of Emacs (24.5 for now)
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/test.yml | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml index 74191a97..8bb9f2b8 100644 --- a/.github/workflows/test.yml +++ b/.github/workflows/test.yml @@ -17,15 +17,15 @@ jobs: strategy: matrix: emacs_version: - - 24.3 - - 24.4 - 24.5 + # 24.5 to be removed at End-of-Support of Ubuntu 16.04 LTS (https://wiki.ubuntu.com/Releases) - 25.1 - 25.2 - 25.3 - 26.1 - 26.2 - 26.3 + - 27.1 # 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 @@ -41,6 +41,7 @@ jobs: - run: emacs --version - run: make + # Erik: Extend this with linting? - name: Install makeinfo run: sudo apt-get update -y -q && sudo DEBIAN_FRONTEND=noninteractive apt-get install -y -q --no-install-recommends texinfo - run: make doc.info |