Skip to content

Commit

Permalink
DON'T MERGE: investigate doc-magic problem in PR ProofGeneral#750
Browse files Browse the repository at this point in the history
  • Loading branch information
@hendriktews
hendriktews committed Mar 28, 2024
1 parent 5d6cbdf commit 7722a87
Showing 1 changed file with 5 additions and 276 deletions.
281 changes: 5 additions & 276 deletions .github/workflows/test.yml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -18,42 +18,6 @@ on:
- '**'

jobs:
###########################################################################
####### compile and build manual
###########################################################################
build:
runs-on: ubuntu-latest

strategy:
matrix:
emacs_version:
# The content between the CIPG markers is automatically
# changed by the cipg program. Do not change these markers.
# CIPG change marker: build-emacs-versions
- 26.3
- 27.1
- 27.2
- 28.1
- 28.2
- 29.1
- 29.2
# CIPG change marker end
# don't cancel all in-progress jobs if one matrix job fails:
fail-fast: false

steps:
- uses: actions/checkout@v2

- uses: purcell/setup-emacs@master
with:
version: ${{ matrix.emacs_version }}

- 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

###########################################################################
####### make magic
Expand All @@ -78,6 +42,8 @@ jobs:
# The content between the CIPG markers is automatically
# changed by the cipg program. Do not change these markers.
# CIPG change marker: magic-emacs-version
- 26.3
- 27.2
- 28.2
- 29.2
# CIPG change marker end
Expand All @@ -95,184 +61,17 @@ jobs:
- run: make -C doc magic
- run: git diff --exit-code -- doc

###########################################################################
####### first tests: ci/test.sh runs tests in ci/coq-tests.el
###########################################################################
test:
runs-on: ubuntu-latest
strategy:
matrix:
coq_emacs_version:
# The content between the CIPG markers is automatically
# changed by the cipg program. Do not change these markers.
# CIPG change marker: test-coq-emacs-versions
- coq-8.11.2-emacs-26.3
- coq-8.11.2-emacs-29.2
- coq-8.12.2-emacs-27.1
- coq-8.12.2-emacs-29.2
- coq-8.13.2-emacs-27.2
- coq-8.13.2-emacs-29.2
- coq-8.14.1-emacs-27.2
- coq-8.14.1-emacs-29.2
- coq-8.15.2-emacs-27.1
- coq-8.15.2-emacs-28.1
- coq-8.15.2-emacs-29.2
- coq-8.16.1-emacs-26.3
- coq-8.16.1-emacs-27.1
- coq-8.16.1-emacs-28.2
- coq-8.16.1-emacs-29.2
- coq-8.17.1-emacs-26.3
- coq-8.17.1-emacs-27.1
- coq-8.17.1-emacs-28.2
- coq-8.17.1-emacs-29.1
- coq-8.17.1-emacs-29.2
- coq-8.18.0-emacs-26.3
- coq-8.18.0-emacs-27.1
- coq-8.18.0-emacs-28.2
- coq-8.18.0-emacs-29.1
- coq-8.18.0-emacs-29.2
- coq-8.19.1-emacs-26.3
- coq-8.19.1-emacs-27.1
- coq-8.19.1-emacs-27.2
- coq-8.19.1-emacs-28.1
- coq-8.19.1-emacs-28.2
- coq-8.19.1-emacs-29.1
- coq-8.19.1-emacs-29.2
# CIPG change marker end
# don't cancel all in-progress jobs if one matrix job fails:
fail-fast: false

steps:
- uses: actions/checkout@v2

- name: Add ert problem matcher
run: echo "::add-matcher::.github/ert.json"

- uses: coq-community/docker-coq-action@v1
id: docker-coq-action
with:
opam_file: 'dummy.opam'
custom_image: proofgeneral/coq-emacs:${{matrix.coq_emacs_version}}
custom_script: |
startGroup Print opam config
opam config list; opam repo list; opam list
endGroup
startGroup other relevant configuration
echo getconf _NPROCESSORS_ONLN: $(getconf _NPROCESSORS_ONLN)
emacs --version
coqc --version
ocamlc -v
endGroup
startGroup Run tests
sudo chown -R coq:coq ./ci
make tests
endGroup
###########################################################################
####### compilation tests: all tests in subdirectories of ci/compile-tests
###########################################################################
compile-tests:
runs-on: ubuntu-latest
strategy:
matrix:
coq_emacs_version:
# The content between the CIPG markers is automatically
# changed by the cipg program. Do not change these markers.
# CIPG change marker: compile-coq-emacs-versions
- coq-8.11.2-emacs-26.3
- coq-8.11.2-emacs-29.2
- coq-8.12.2-emacs-27.1
- coq-8.12.2-emacs-29.2
- coq-8.13.2-emacs-27.2
- coq-8.13.2-emacs-29.2
- coq-8.14.1-emacs-27.2
- coq-8.14.1-emacs-29.2
- coq-8.15.2-emacs-27.1
- coq-8.15.2-emacs-28.1
- coq-8.15.2-emacs-29.2
- coq-8.16.1-emacs-26.3
- coq-8.16.1-emacs-27.1
- coq-8.16.1-emacs-28.2
- coq-8.16.1-emacs-29.2
- coq-8.17.1-emacs-26.3
- coq-8.17.1-emacs-27.1
- coq-8.17.1-emacs-28.2
- coq-8.17.1-emacs-29.1
- coq-8.17.1-emacs-29.2
- coq-8.18.0-emacs-26.3
- coq-8.18.0-emacs-27.1
- coq-8.18.0-emacs-28.2
- coq-8.18.0-emacs-29.1
- coq-8.18.0-emacs-29.2
- coq-8.19.1-emacs-26.3
- coq-8.19.1-emacs-27.1
- coq-8.19.1-emacs-27.2
- coq-8.19.1-emacs-28.1
- coq-8.19.1-emacs-28.2
- coq-8.19.1-emacs-29.1
- coq-8.19.1-emacs-29.2
# CIPG change marker end
# don't cancel all in-progress jobs if one matrix job fails:
fail-fast: false
steps:
- uses: actions/checkout@v2

- name: Add ert problem matcher
run: echo "::add-matcher::.github/ert.json"

- uses: coq-community/docker-coq-action@v1
id: docker-coq-action
with:
opam_file: 'dummy.opam'
custom_image: proofgeneral/coq-emacs:${{matrix.coq_emacs_version}}
custom_script: |
startGroup other relevant configuration
echo getconf _NPROCESSORS_ONLN: $(getconf _NPROCESSORS_ONLN)
emacs --version
coqc --version
ocamlc -v
endGroup
startGroup Run tests
sudo chown -R coq:coq ./ci
make -C ci/compile-tests test
endGroup
###########################################################################
####### Additional tests in ci/simple-tests for Coq
###########################################################################
simple-tests:
other-magic:
runs-on: ubuntu-latest
strategy:
matrix:
coq_emacs_version:
# The content between the CIPG markers is automatically
# changed by the cipg program. Do not change these markers.
# CIPG change marker: simple-coq-emacs-versions
- coq-8.11.2-emacs-26.3
- coq-8.11.2-emacs-29.2
- coq-8.12.2-emacs-27.1
- coq-8.12.2-emacs-29.2
- coq-8.13.2-emacs-27.2
- coq-8.13.2-emacs-29.2
- coq-8.14.1-emacs-27.2
- coq-8.14.1-emacs-29.2
- coq-8.15.2-emacs-27.1
- coq-8.15.2-emacs-28.1
- coq-8.15.2-emacs-29.2
- coq-8.16.1-emacs-26.3
- coq-8.16.1-emacs-27.1
- coq-8.16.1-emacs-28.2
- coq-8.16.1-emacs-29.2
- coq-8.17.1-emacs-26.3
- coq-8.17.1-emacs-27.1
- coq-8.17.1-emacs-28.2
- coq-8.17.1-emacs-29.1
- coq-8.17.1-emacs-29.2
- coq-8.18.0-emacs-26.3
- coq-8.18.0-emacs-27.1
- coq-8.18.0-emacs-28.2
- coq-8.18.0-emacs-29.1
- coq-8.18.0-emacs-29.2
- coq-8.19.1-emacs-26.3
- coq-8.19.1-emacs-27.1
- coq-8.19.1-emacs-27.2
Expand Down Expand Up @@ -302,77 +101,7 @@ jobs:
coqc --version
ocamlc -v
endGroup
startGroup Run tests
startGroup Run magic
sudo chown -R coq:coq ./ci
make -C ci/simple-tests coq-all
make -C doc magic
endGroup
###########################################################################
####### indentation tests in ci/test-indent
###########################################################################
# Run indentation tests in ci/test-indent on all supported emacs
# versions without coq installed.
test-indent:
runs-on: ubuntu-latest

strategy:
matrix:
emacs_version:
# The content between the CIPG markers is automatically
# changed by the cipg program. Do not change these markers.
# CIPG change marker: indent-emacs-versions
- 26.3
- 27.1
- 27.2
- 28.1
- 28.2
- 29.1
- 29.2
# CIPG change marker end
# don't cancel all in-progress jobs if one matrix job fails:
fail-fast: false

steps:
- uses: actions/checkout@v2

- uses: purcell/setup-emacs@master
with:
version: ${{ matrix.emacs_version }}

- run: emacs --version
- run: make -C ci/test-indent

###########################################################################
####### Additional tests in ci/simple-tests for qRHL
###########################################################################
# Run qRHL tests in ci/simple-tests on all supported emacs versions
# without qRHL installed.
test-qrhl:
runs-on: ubuntu-latest

strategy:
matrix:
emacs_version:
# The content between the CIPG markers is automatically
# changed by the cipg program. Do not change these markers.
# CIPG change marker: qrhl-emacs-versions
- 26.3
- 27.1
- 27.2
- 28.1
- 28.2
- 29.1
- 29.2
# CIPG change marker end
# don't cancel all in-progress jobs if one matrix job fails:
fail-fast: false

steps:
- uses: actions/checkout@v2

- uses: purcell/setup-emacs@master
with:
version: ${{ matrix.emacs_version }}

- run: emacs --version
- run: make -C ci/simple-tests qrhl-all

0 comments on commit 7722a87

Please sign in to comment.