Skip to content
Compile and test

LambdaBox to LambdaANF pipeline #524

Sign in to view logs

LambdaBox to LambdaANF pipeline

LambdaBox to LambdaANF pipeline #524

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build-matrix (rocq-certirocq.opam, mattam82/metacoq:metarocq-1.5.1-rocq-9.1)
2m 11s
2m 11s