Skip to content
Compile and bench

Update README.md (move some members to "past members") #396

Sign in to view logs

Update README.md (move some members to "past members")

Update README.md (move some members to "past members") #396

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build-matrix (coq-certicoq.opam, mattam82/metacoq:metacoq-1.3.2-coq-8.19)
40m 58s
40m 58s