Skip to content
Ubuntu build

[Import] Relation.Binary.Morphism...Relation.Binary.Properties #4395

Sign in to view logs

[Import] Relation.Binary.Morphism...Relation.Binary.Properties

[Import] Relation.Binary.Morphism...Relation.Binary.Properties #4395

Run time

Learn about OS pricing on GitHub Actions
Job Run time
test-stdlib
37m 56s
37m 56s