Skip to content

Merge pull request #21 from wiktor-k/more-useful-user-error #97

Merge pull request #21 from wiktor-k/more-useful-user-error

Merge pull request #21 from wiktor-k/more-useful-user-error #97

Triggered via push March 15, 2024 07:55
Status Cancelled
Total duration 37s
Artifacts

ci.yml

on: push
Check spelling
9s
Check spelling
Check formatting
4s
Check formatting
Unit tests
28s
Unit tests
Clippy lints
21s
Clippy lints
Fit to window
Zoom out
Zoom in

Annotations

4 errors
Clippy lints
Canceling since a higher priority waiting request for 'refs/heads/main' exists
Clippy lints
The operation was canceled.
Unit tests
Canceling since a higher priority waiting request for 'refs/heads/main' exists
Unit tests
The operation was canceled.