Skip to content

Add maturity date in split metadata and use it to filter mature splits for merges #10565

Add maturity date in split metadata and use it to filter mature splits for merges

Add maturity date in split metadata and use it to filter mature splits for merges #10565

Triggered via pull request July 4, 2023 21:50
Status Cancelled
Total duration 1m 23s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

ci.yml

on: pull_request
Matrix: tests
Fit to window
Zoom out
Zoom in

Annotations

12 errors
cargo deny (ubuntu-latest)
Canceling since a higher priority waiting request for 'CI-3585' exists
cargo deny (ubuntu-latest)
The operation was canceled.
rustfmt (ubuntu-latest)
Canceling since a higher priority waiting request for 'CI-3585' exists
rustfmt (ubuntu-latest)
The operation was canceled.
License headers check (ubuntu-latest)
Canceling since a higher priority waiting request for 'CI-3585' exists
License headers check (ubuntu-latest)
The operation was canceled.
cargo doc (ubuntu-latest)
Canceling since a higher priority waiting request for 'CI-3585' exists
cargo doc (ubuntu-latest)
The operation was canceled.
cargo nextest (ubuntu-latest)
Canceling since a higher priority waiting request for 'CI-3585' exists
cargo nextest (ubuntu-latest)
The operation was canceled.
cargo clippy (ubuntu-latest)
Canceling since a higher priority waiting request for 'CI-3585' exists
cargo clippy (ubuntu-latest)
The operation was canceled.