More progress on verif_cholesky #46

	name: CI

	on:
	push:
	pull_request:
	workflow_dispatch:

	jobs:
	docker-build:
	strategy:
	fail-fast: false
	matrix:
	include:
	- env: { COQ_VERSION: "8.19", DOCKER_MATHCOMP_VERSION: "2.2.0" }

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

	concurrency:
	group: ${{ github.workflow }}-${{ matrix.env.COQ_VERSION }}-${{ github.head_ref \|\| github.run_id }}
	cancel-in-progress: true

	steps:
	- uses: actions/checkout@v4
	with:
	submodules: recursive
	- uses: coq-community/docker-coq-action@v1
	with:
	custom_image: mathcomp/mathcomp:${{ matrix.env.DOCKER_MATHCOMP_VERSION }}-coq-${{ matrix.env.COQ_VERSION }}
	export: CI
	custom_script: \|
	eval $(opam env)
	sudo chmod -R a=u .
	# Work around https://github.com/actions/checkout/issues/766
	git config --global --add safe.directory "*"
	echo '::group::install dependencies'
	opam install -y -v coq-flocq coq-interval coq-coquelicot coq-vcfloat coq-mathcomp-ssreflect coq-mathcomp-algebra coq-mathcomp-analysis coq-mathcomp-algebra-tactics coq-mathcomp-finmap coq-vst.2.14 coq-vst-lib.2.14
	echo '::endgroup::'
	make -j2

Provide feedback