Skip to content
Docker CI

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

Sign in to view logs

add coq-stdpp as dependency, add abs_examples module

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

Run time

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