DON'T MERGE: investigate doc-magic problem in PR #750 #607
Workflow file for this run
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| # See ../../ci/doc/README.{md,pdf} for documentation about continuous | |
| # integration and testing of Proof General. | |
| # | |
| # The versions to be tested in between the CIPG markers are now and | |
| # then automatically updated. Please consider this when changing this | |
| # file. | |
| # | |
| name: CI | |
| on: | |
| push: | |
| branches: | |
| #- master | |
| #- hybrid | |
| - "**" | |
| pull_request: | |
| branches: | |
| - '**' | |
| jobs: | |
| ########################################################################### | |
| ####### make magic | |
| ########################################################################### | |
| # Check that the texinfo sources of the manual can be updated | |
| # with the documentation strings for variables and functions in | |
| # the source code and that the manual is actually up-to-date. | |
| # If the final git diff fails, then somebody forgot to update | |
| # the manuals with ``make -C doc magic'' after changing a | |
| # variable or function documentation that appears in one of the | |
| # manuals. | |
| check-doc-magic: | |
| runs-on: ubuntu-latest | |
| strategy: | |
| matrix: | |
| emacs_version: | |
| # I don't think we need to check with all emacs | |
| # versions. The latest two should be enough, maybe even | |
| # only the latest one. | |
| # | |
| # 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 | |
| # 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 doc magic | |
| - run: git diff --exit-code -- doc | |
| ########################################################################### | |
| ####### Additional tests in ci/simple-tests for Coq | |
| ########################################################################### | |
| 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.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 magic | |
| sudo chown -R coq:coq ./ci | |
| make -C doc magic | |
| endGroup |