From 1ad3ef5473c6c984a87e8dd3857a87404e50661d Mon Sep 17 00:00:00 2001 From: Erik Martin-Dorel Date: Thu, 26 Nov 2020 02:17:30 +0100 Subject: [PATCH 1/5] Test upcoming PR coq-community/docker-coq-action#33 --- .github/workflows/build-coq-demo.yml | 10 +++++++++- 1 file changed, 9 insertions(+), 1 deletion(-) diff --git a/.github/workflows/build-coq-demo.yml b/.github/workflows/build-coq-demo.yml index 284ceb9..b2eaabb 100644 --- a/.github/workflows/build-coq-demo.yml +++ b/.github/workflows/build-coq-demo.yml @@ -57,10 +57,18 @@ jobs: fail-fast: false steps: - uses: actions/checkout@v2 - - uses: coq-community/docker-coq-action@v1 + - uses: coq-community/docker-coq-action@split-script with: opam_file: './coq-demo.opam' custom_image: ${{ matrix.image }} + # Dummy test for https://github.com/coq-community/docker-coq-action/pull/33 + before_install: | + sudo apt-get update -y -q + sudo DEBIAN_FRONTEND=noninteractive apt-get install -y -q --no-install-recommends emacs + before_script: | + opam config report + after_script: | + emacs --version # Remark: # you may want to add the following badge to your README.md: From 74cbf4cd89f272769fc217e6087ce77d8154bab3 Mon Sep 17 00:00:00 2001 From: Erik Martin-Dorel Date: Thu, 26 Nov 2020 02:20:00 +0100 Subject: [PATCH 2/5] Test PR coq-community/docker-coq-action#33 further Use a toy "matrix script" cf. https://github.com/coq-community/docker-coq-action/issues/22#issuecomment-695803544 --- .github/workflows/build-coq-demo.yml | 3 +++ 1 file changed, 3 insertions(+) diff --git a/.github/workflows/build-coq-demo.yml b/.github/workflows/build-coq-demo.yml index b2eaabb..9595b52 100644 --- a/.github/workflows/build-coq-demo.yml +++ b/.github/workflows/build-coq-demo.yml @@ -53,6 +53,8 @@ jobs: - mathcomp/mathcomp:1.10.0-coq-8.11 - mathcomp/mathcomp:1.11.0-coq-dev - mathcomp/mathcomp-dev:coq-dev + matrix_script: + - "opam pin list" max-parallel: 4 fail-fast: false steps: @@ -66,6 +68,7 @@ jobs: sudo apt-get update -y -q sudo DEBIAN_FRONTEND=noninteractive apt-get install -y -q --no-install-recommends emacs before_script: | + ${{matrix_script}} opam config report after_script: | emacs --version From 04a605d74a9bf2c6755c60764d0212f70b094910 Mon Sep 17 00:00:00 2001 From: Erik Martin-Dorel Date: Thu, 26 Nov 2020 03:23:07 +0100 Subject: [PATCH 3/5] Disable some images --- .github/workflows/build-coq-demo.yml | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/.github/workflows/build-coq-demo.yml b/.github/workflows/build-coq-demo.yml index 9595b52..cdb3e7b 100644 --- a/.github/workflows/build-coq-demo.yml +++ b/.github/workflows/build-coq-demo.yml @@ -23,11 +23,11 @@ jobs: strategy: matrix: coq_version: - - '8.11' + # - '8.11' - dev ocaml_version: - '4.07-flambda' - - '4.09-flambda' + # - '4.09-flambda' # at most 20 concurrent jobs per free account: # https://help.github.com/en/actions/reference/workflow-syntax-for-github-actions#usage-limits max-parallel: 4 @@ -49,9 +49,9 @@ jobs: strategy: matrix: image: - - mathcomp/mathcomp:1.10.0-coq-8.10 + # - mathcomp/mathcomp:1.10.0-coq-8.10 - mathcomp/mathcomp:1.10.0-coq-8.11 - - mathcomp/mathcomp:1.11.0-coq-dev + # - mathcomp/mathcomp:1.11.0-coq-dev # not available anymore - mathcomp/mathcomp-dev:coq-dev matrix_script: - "opam pin list" From f7b099cea7217e5c0b55977d8d0205457cbef671 Mon Sep 17 00:00:00 2001 From: Erik Martin-Dorel Date: Thu, 26 Nov 2020 03:28:55 +0100 Subject: [PATCH 4/5] Demo build --- .github/workflows/build-coq-demo.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/build-coq-demo.yml b/.github/workflows/build-coq-demo.yml index cdb3e7b..500b87b 100644 --- a/.github/workflows/build-coq-demo.yml +++ b/.github/workflows/build-coq-demo.yml @@ -52,7 +52,7 @@ jobs: # - mathcomp/mathcomp:1.10.0-coq-8.10 - mathcomp/mathcomp:1.10.0-coq-8.11 # - mathcomp/mathcomp:1.11.0-coq-dev # not available anymore - - mathcomp/mathcomp-dev:coq-dev + # - mathcomp/mathcomp-dev:coq-dev matrix_script: - "opam pin list" max-parallel: 4 @@ -68,7 +68,7 @@ jobs: sudo apt-get update -y -q sudo DEBIAN_FRONTEND=noninteractive apt-get install -y -q --no-install-recommends emacs before_script: | - ${{matrix_script}} + ${{matrix.matrix_script}} opam config report after_script: | emacs --version From 4a88543237d7ea197fa9edd2ef279c00b4e0ec38 Mon Sep 17 00:00:00 2001 From: Erik Martin-Dorel Date: Sat, 28 Nov 2020 18:59:23 +0100 Subject: [PATCH 5/5] Update build-coq-demo.yml * Use docker-coq-action v1.2.2 --- .github/workflows/build-coq-demo.yml | 18 ++++++++++++------ 1 file changed, 12 insertions(+), 6 deletions(-) diff --git a/.github/workflows/build-coq-demo.yml b/.github/workflows/build-coq-demo.yml index 500b87b..d76236e 100644 --- a/.github/workflows/build-coq-demo.yml +++ b/.github/workflows/build-coq-demo.yml @@ -59,19 +59,25 @@ jobs: fail-fast: false steps: - uses: actions/checkout@v2 - - uses: coq-community/docker-coq-action@split-script + - uses: coq-community/docker-coq-action@v1 with: opam_file: './coq-demo.opam' custom_image: ${{ matrix.image }} # Dummy test for https://github.com/coq-community/docker-coq-action/pull/33 before_install: | - sudo apt-get update -y -q - sudo DEBIAN_FRONTEND=noninteractive apt-get install -y -q --no-install-recommends emacs + startGroup "Install APT dependencies" + sudo apt-get update -y -q + sudo DEBIAN_FRONTEND=noninteractive apt-get install -y -q --no-install-recommends emacs + endGroup before_script: | - ${{matrix.matrix_script}} - opam config report + startGroup "Preliminaries" + ${{matrix.matrix_script}} + opam config report + endGroup after_script: | - emacs --version + startGroup "Post-test" + emacs --version + endGroup # Remark: # you may want to add the following badge to your README.md: