Prep the branch for merge. #4

	# Basic workflow to lint, build & test the package. Runs:
	#
	# - on demand
	# - on push
	# - on PR (open, edit or re-open)
	# - nightly at 01:42 UTC
	name: damerau-levenshtein Continuous Integration
	on:
	workflow_dispatch:
	# Per
	# <https://docs.github.com/en/actions/using-workflows/events-that-trigger-workflows#pull_request>:
	# "if no activity types are specified, the workflow runs when a pull
	# request is opened or reopened or when the head branch of the pull
	# request is updated." That said, I've had difficulty getting workflows to trigger on PRs.
	pull_request:
	types: [opened, edited, reopened] # don't say `synchronize`-- that is taken care of by `push`
	push:
	# schedule:
	# - cron: '42 01 * * *'

	jobs:
	# All run in `/home/runner/work/ob-coq/ob-coq`.
	lint_and_test:
	name: Lint & Test
	runs-on: ubuntu-latest
	steps:
	- name: Checkout the repo
	uses: actions/checkout@v4
	- name: Install tooling
	shell: bash
	run: \|
	set -x
	sudo apt-get install -y autoconf automake coq
	autoconf --version
	automake --version
	coqtop --version
	- name: Lint
	shell: bash
	run: 'admin/run-linters'
	- name: Build & Test
	shell: bash
	run: 'admin/configure-to-distcheck'

Provide feedback