Skip to content
Docker CI

remove custom datatypes, add Ott definitions to report #18

Sign in to view logs

remove custom datatypes, add Ott definitions to report

remove custom datatypes, add Ott definitions to report #18

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build (coqorg/coq:8.18)
2m 9s
build (coqorg/coq:8.17)
1m 48s
build (coqorg/coq:8.16)
1m 55s
5m 52s