Bench garagedoor april2 #457

	name: CI (Coq, docker, dev)

	on:
	push:
	branches: [ master , sp2019latest , v8.6 , v8.8 , v8.10 ]
	pull_request:
	merge_group:
	workflow_dispatch:
	release:
	types: [published]
	schedule:
	- cron: '0 0 1 * *'

	jobs:
	build:
	strategy:
	fail-fast: false
	matrix:
	include:
	- env: { COQ_VERSION: "master", DOCKER_COQ_VERSION: "dev", DOCKER_OCAML_VERSION: "default", SKIP_VALIDATE: "" , COQCHKEXTRAFLAGS: "-bytecode-compiler yes", EXTRA_GH_REPORTIFY: "--warnings", ALLOW_DIFF: "1", CI: "1" }
	os: 'ubuntu-latest'

	runs-on: ${{ matrix.os }}
	env: ${{ matrix.env }}
	name: docker-${{ 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
	- name: echo host build params
	run: etc/ci/describe-system-config.sh
	- name: echo container build params
	uses: coq-community/docker-coq-action@v1
	with:
	coq_version: ${{ matrix.env.DOCKER_COQ_VERSION }}
	ocaml_version: ${{ matrix.env.DOCKER_OCAML_VERSION }}
	export: CI ALLOW_DIFF COQCHKEXTRAFLAGS
	custom_script: \|
	eval $(opam env)
	etc/ci/describe-system-config.sh
	- name: bench
	uses: coq-community/docker-coq-action@v1
	with:
	coq_version: ${{ matrix.env.DOCKER_COQ_VERSION }}
	ocaml_version: ${{ matrix.env.DOCKER_OCAML_VERSION }}
	export: CI ALLOW_DIFF COQCHKEXTRAFLAGS
	custom_script: /usr/bin/time -v make COQBIN="$(dirname "$(which coqc)")/" -j src/Bedrock/End2End/X25519/GarageDoorTop.vo

Provide feedback