Skip to content
Rocq

[CI] Check for only test failure, exclude aborts #50

Sign in to view logs

[CI] Check for only test failure, exclude aborts

[CI] Check for only test failure, exclude aborts #50

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build (5.2.0)
21m 6s
21m 6s