Skip to content
Docker CI

Merge branch 'delim_staging' of github.com:logsem/gitrees into delim_… #182

Sign in to view logs

Merge branch 'delim_staging' of github.com:logsem/gitrees into delim_…

Merge branch 'delim_staging' of github.com:logsem/gitrees into delim_… #182

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build_nix
12m 33s
build (coqorg/coq:8.17)
17m 14s
build (coqorg/coq:8.18)
21m 2s
50m 49s