Tauto.intuition_solver has a sane default, #400

	name: CI (Coq)

	on:
	push:
	pull_request:
	schedule:
	- cron: '0 0 1 * *'

	jobs:
	build:

	strategy:
	fail-fast: false
	matrix:
	env:
	- { COQ_VERSION: "8.18.0", COQ_PACKAGE: "coq-8.18.0 libcoq-8.18.0-ocaml-dev", PPA: "ppa:jgross-h/many-coq-versions-ocaml-4-11" }
	- { COQ_VERSION: "master", COQ_PACKAGE: "coq libcoq-core-ocaml-dev" , PPA: "ppa:jgross-h/coq-master-daily" }

	runs-on: ubuntu-latest
	env: ${{ matrix.env }}
	name: ${{ matrix.env.COQ_VERSION }}

	steps:
	- uses: actions/checkout@v4
	with:
	submodules: recursive
	- name: install Coq
	run: \|
	if [ ! -z "$PPA" ]; then sudo add-apt-repository "$PPA" -y; fi
	sudo apt-get -o Acquire::Retries=30 update -q
	sudo apt-get -o Acquire::Retries=30 install ocaml-findlib $COQ_PACKAGE -y --allow-unauthenticated
	- name: echo build params
	run: \|
	echo "::group::lscpu"
	lscpu
	echo "::endgroup::"
	echo "::group::uname -a"
	uname -a
	echo "::endgroup::"
	echo "::group::lsb_release -a"
	lsb_release -a
	echo "::endgroup::"
	echo "::group::ocamlc -config"
	ocamlc -config
	echo "::endgroup::"
	echo "::group::coqc --config"
	coqc --config
	echo "::endgroup::"
	echo "::group::coqc --version"
	coqc --version
	echo "::endgroup::"
	echo "::group::true \| coqtop"
	true \| coqtop
	echo "::endgroup::"
	- name: all
	run: etc/ci/github-actions-make.sh ${EXTRA_GH_REPORTIFY} -j2 all
	- name: display timing info
	run: cat time-of-build-pretty.log
	- name: display per-line timing info
	run: etc/ci/github-actions-display-per-line-timing.sh
	- name: install
	run: sudo make install

Provide feedback