From b04949d2c36a1e19c9eb748dd9c342523edf08e5 Mon Sep 17 00:00:00 2001 From: Erik Martin-Dorel Date: Thu, 16 Apr 2020 17:07:08 +0200 Subject: feat: Add GitHub-action workflow --- .github/workflows/test.yml | 40 ++++++++++++++++++++++++++++++++++++++++ 1 file changed, 40 insertions(+) create mode 100644 .github/workflows/test.yml (limited to '.github/workflows') diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml new file mode 100644 index 00000000..0cc6027a --- /dev/null +++ b/.github/workflows/test.yml @@ -0,0 +1,40 @@ +name: CI + +on: + push: + branches: + - '**' + pull_request: + branches: + - master + - hybrid + +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: 5 + + steps: + - uses: actions/checkout@v2 + + - uses: purcell/setup-emacs@master + with: + version: ${{ matrix.emacs_version }} + + - run: emacs --version + - run: make -- cgit v1.2.3 From 41d1750be0c45b51eb4e91ba4832c50a20e5fc2d Mon Sep 17 00:00:00 2001 From: Erik Martin-Dorel Date: Fri, 17 Apr 2020 08:25:13 +0200 Subject: feat: Update test.yml to trigger integration tests * Fix test.sh so it can be run from the parent dir --- .github/workflows/test.yml | 41 +++++++++++++++++++++++++++++++++++++++++ 1 file changed, 41 insertions(+) (limited to '.github/workflows') 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 -- cgit v1.2.3 From 57f671eecb186f827ef14c4e3fc8a4debb99435c Mon Sep 17 00:00:00 2001 From: Erik Martin-Dorel Date: Fri, 17 Apr 2020 08:49:51 +0200 Subject: fix: Install emacs in the Docker container --- .github/workflows/test.yml | 14 +++++++------- 1 file changed, 7 insertions(+), 7 deletions(-) (limited to '.github/workflows') diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml index e695f435..45274d89 100644 --- a/.github/workflows/test.yml +++ b/.github/workflows/test.yml @@ -44,11 +44,11 @@ jobs: strategy: matrix: - emacs_version: + # emacs_version: # the emacs version in Ubuntu 18.04 LTS - - 25.2 + # - 25.2 # the emacs version in Debian Buster - - 26.1 + # - 26.1 # the emacs version in Debian Sid # - 26.3 coq_version: @@ -62,10 +62,6 @@ jobs: 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: @@ -76,6 +72,10 @@ jobs: 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 -- cgit v1.2.3 From e92d151dcbe12e5294d710755a2c9e1b38794be7 Mon Sep 17 00:00:00 2001 From: Erik Martin-Dorel Date: Tue, 21 Apr 2020 15:25:40 +0200 Subject: s/4.07-flambda/minimal/ --- .github/workflows/test.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to '.github/workflows') diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml index 45274d89..5821b748 100644 --- a/.github/workflows/test.yml +++ b/.github/workflows/test.yml @@ -54,7 +54,7 @@ jobs: coq_version: - 8.11 ocaml_version: - - 4.07-flambda + - 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: 5 -- cgit v1.2.3 From 7131fc5d2f8bea9f6a1f3c3823b9236fcfd4687b Mon Sep 17 00:00:00 2001 From: Erik Martin-Dorel Date: Tue, 21 Apr 2020 21:49:52 +0200 Subject: [CI] Fix on/(push,pull_request) spec --- .github/workflows/test.yml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to '.github/workflows') diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml index 5821b748..7196d3d8 100644 --- a/.github/workflows/test.yml +++ b/.github/workflows/test.yml @@ -2,12 +2,12 @@ name: CI on: push: - branches: - - '**' - pull_request: branches: - master - hybrid + pull_request: + branches: + - '**' jobs: build: -- cgit v1.2.3 From 3ce80c44f2d95fa7d2d6547129511fb1b6beca84 Mon Sep 17 00:00:00 2001 From: Erik Martin-Dorel Date: Tue, 21 Apr 2020 21:52:29 +0200 Subject: [CI] Tweak max-parallel spec --- .github/workflows/test.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to '.github/workflows') diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml index 7196d3d8..4b4bf8ec 100644 --- a/.github/workflows/test.yml +++ b/.github/workflows/test.yml @@ -27,7 +27,7 @@ jobs: - 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: 5 + max-parallel: 4 steps: - uses: actions/checkout@v2 @@ -57,7 +57,7 @@ jobs: - 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: 5 + max-parallel: 6 steps: - uses: actions/checkout@v2 -- cgit v1.2.3