Skip to content

Merge pull request #282 from ftsrg/horn-checker #177

Merge pull request #282 from ftsrg/horn-checker

Merge pull request #282 from ftsrg/horn-checker #177

Triggered via push July 23, 2024 15:06
Status Cancelled
Total duration 1m 37s
Artifacts
check-formatting
1m 24s
check-formatting
Fit to window
Zoom out
Zoom in

Annotations

1 error
check-formatting
Canceling since a higher priority waiting request for 'formatting-' exists