Skip to content
Continuous Integration

Issue 544: Insert disjoint classes Endurant and Perdurant into hierarchy #798

Sign in to view logs

Issue 544: Insert disjoint classes Endurant and Perdurant into hierarchy

Issue 544: Insert disjoint classes Endurant and Perdurant into hierarchy #798

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
5s
build
4s
build
17m 42s
17m 51s