Move the workflow onto the current major actions #5

	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"))'

Navigation Menu