Skip to content
Nix CI for bundle 8.17

update repo location in metadata, record Hierarchy Builder as dep #23

Sign in to view logs

update repo location in metadata, record Hierarchy Builder as dep

update repo location in metadata, record Hierarchy Builder as dep #23

Run time

Learn about OS pricing on GitHub Actions
Job Run time
coq
30s
mathcomp
37m 31s
mathcomp-tarjan
11m 17s
49m 18s