Skip to content

Merge pull request #1236 from SRetip/rename #42

Merge pull request #1236 from SRetip/rename

Merge pull request #1236 from SRetip/rename #42

Triggered via push March 22, 2024 13:45
Status Cancelled
Total duration 27m 57s
Artifacts
test  /  checkmate
0s
test / checkmate
Matrix: test / will_test
Fit to window
Zoom out
Zoom in

Annotations

4 errors
test / checkmate
Canceling since a higher priority waiting request for 'standard_rust_push_mod_interface_refs/heads/alpha_ true_ true' exists
test / will_test (ubuntu-latest)
Canceling since a higher priority waiting request for 'standard_rust_push_mod_interface_refs/heads/alpha_ true_ true' exists
test / will_test (macos-latest)
Canceling since a higher priority waiting request for 'standard_rust_push_mod_interface_refs/heads/alpha_ true_ true' exists
test / will_test (windows-latest)
Canceling since a higher priority waiting request for 'standard_rust_push_mod_interface_refs/heads/alpha_ true_ true' exists