Skip to content
Docker CI

add coq-stdpp as dependency, add abs_examples module #44

Sign in to view logs

add coq-stdpp as dependency, add abs_examples module

add coq-stdpp as dependency, add abs_examples module #44

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build (coqorg/coq:8.18)
2m 48s
build (coqorg/coq:8.17)
2m 39s
build (coqorg/coq:8.16)
2m 42s
8m 9s