Merge pull request #5 from FredMesnard/ci/bump-actions #6
This file contains hidden or 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
| name: CI | |
| on: | |
| push: | |
| pull_request: | |
| workflow_dispatch: | |
| jobs: | |
| proofs: | |
| name: proofs (${{ matrix.prolog }}) | |
| runs-on: ubuntu-latest | |
| strategy: | |
| fail-fast: false | |
| matrix: | |
| prolog: [swi, gprolog] | |
| steps: | |
| - uses: actions/checkout@v7 | |
| - name: Install SWI-Prolog | |
| if: matrix.prolog == 'swi' | |
| run: | | |
| sudo apt-get update | |
| sudo apt-get install -y --no-install-recommends swi-prolog-nox | |
| - name: Install GNU Prolog | |
| if: matrix.prolog == 'gprolog' | |
| run: | | |
| sudo apt-get update | |
| sudo apt-get install -y --no-install-recommends gprolog | |
| - name: Check the whole proof corpus | |
| run: etc/run-tests.sh ${{ matrix.prolog }} | |
| - name: Upload generated proofs | |
| if: always() | |
| uses: actions/upload-artifact@v7 | |
| with: | |
| name: tmp-${{ matrix.prolog }} | |
| path: tmp/ | |
| if-no-files-found: ignore | |
| emacs: | |
| name: emacs mode | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: actions/checkout@v7 | |
| - name: Install Emacs | |
| run: | | |
| sudo apt-get update | |
| sudo apt-get install -y --no-install-recommends emacs-nox | |
| - name: Byte-compile and exercise lptp-mode | |
| run: | | |
| emacs --batch --eval ' | |
| (progn | |
| (unless (byte-compile-file "etc/lptp-mode.el") | |
| (error "byte-compilation of etc/lptp-mode.el failed")) | |
| (load (expand-file-name "etc/lptp-mode.el")) | |
| (find-file "lib/list/list.pr") | |
| (lptp-mode) | |
| (unless (eq major-mode (quote lptp-mode)) | |
| (error "lptp-mode did not activate")) | |
| ;; Guards against faces that Emacs has since removed. | |
| (font-lock-mode 1) | |
| (font-lock-ensure) | |
| (message "lptp-mode: ok"))' |