Skip to content
Docker CI

reify reset, still some admits on shift #100

Sign in to view logs

reify reset, still some admits on shift

reify reset, still some admits on shift #100

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build (coqorg/coq:8.17)
7m 26s
build_nix
7m 2s
14m 28s