CI #180

	name: CI

	# Controls when the action will run:
	# https://help.github.com/en/actions/configuring-and-managing-workflows/configuring-a-workflow#filtering-for-specific-branches-tags-and-paths
	on:
	push:
	branches:
	- master
	pull_request:
	schedule:
	# Tuesday 8am UTC (3am EST)
	- cron: "0 8 * * TUE"

	jobs:
	build:
	runs-on: ubuntu-latest
	strategy:
	matrix:
	coq_version:
	- dev
	max-parallel: 4
	# don't cancel all in-progress jobs if one matrix job fails:
	fail-fast: false

	# Steps represent a sequence of tasks that will be executed as part of the job
	steps:
	# Checks-out your repository under $GITHUB_WORKSPACE, so your job can access it
	- uses: actions/checkout@v4
	- uses: coq-community/docker-coq-action@v1
	with:
	coq_version: ${{ matrix.coq_version }}
	ocaml_version: "4.14-flambda"
	install: ""
	after_install: ""
	before_script: \|
	sudo chown -R coq:coq . # workaround a permission issue
	script: \|
	startGroup Build
	make -j2 -k
	endGroup
	uninstall: \|
	make clean
	- name: Revert permissions
	# to avoid a warning at cleanup time
	if: ${{ always() }}
	run: sudo chown -R 1001:116 .
	- name: Check for broken Markdown links
	uses: gaurav-nelson/github-action-markdown-link-check@v1

Provide feedback