Skip to content
Docker CI

port to math-comp 2 + vertical cell repo + flavor branch #143

Sign in to view logs

port to math-comp 2 + vertical cell repo + flavor branch

port to math-comp 2 + vertical cell repo + flavor branch #143

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build (mathcomp/mathcomp:2.2.0-coq-8.19)
14m 29s
14m 29s