ci

chore: Add a compcert docker run script. #3752

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build-android	2m 23s
build-compcert	56s
build-freebsd	3m 46s
build-macos	3m 51s
build-nacl	1m 27s
build-win32	2m 20s
build-tcc	24s
build-win64	2m 30s
cimplefmt	14s
doxygen	17s
coverage-linux	2m 0s
misra	47s
mypy	11s
tokstyle	37s
common / buildifier	7s
	21m 50s