Bench garagedoor april2 #518

# to view logs

	name: CI (Coq, Alpine)

	on:
	push:
	branches: [ master ]
	pull_request:
	merge_group:
	workflow_dispatch:
	release:
	types: [published]
	schedule:
	- cron: '0 0 1 * *'

	jobs:
	build:

	strategy:
	fail-fast: false
	matrix:
	include:
	- alpine: 'edge'
	# - alpine: 'latest-stable'

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

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

	steps:
	- uses: actions/checkout@v4
	with:
	submodules: recursive
	- uses: jirutka/setup-alpine@v1
	with:
	branch: ${{ matrix.alpine }}
	extra-repositories: https://dl-cdn.alpinelinux.org/alpine/edge/testing
	packages: git make jq gcc musl-dev python3 ocaml ocaml-findlib ghc cabal coq ocaml-zarith bash sudo
	- name: host build params
	run: etc/ci/describe-system-config.sh
	- name: chroot build params
	shell: alpine.sh {0}
	run: etc/ci/describe-system-config.sh
	- name: bench garagedoor
	shell: alpine.sh {0}
	run: /usr/bin/time -v make -j src/Bedrock/End2End/X25519/GarageDoorTop.vo

Provide feedback