Skip to content
Docker CI

Remove the few instances of non-global hint declarations. #56

Sign in to view logs

Remove the few instances of non-global hint declarations.

Remove the few instances of non-global hint declarations. #56

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build (coqorg/coq:dev)
3m 9s
build (coqorg/coq:8.19)
3m 10s
build (coqorg/coq:8.18)
2m 51s
9m 10s