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

Triggered via push April 28, 2025 00:20
@ZippeyKeys12ZippeyKeys12
pushed 74f01bd
main
Status Success
Total duration 21m 16s
Artifacts –

rocq.yml

on: push
Matrix: build
Fit to window
Zoom out
Zoom in