Skip to content
CI

[DO NOT MERGE] Expand core's prelude with more types #123991

Sign in to view logs

[DO NOT MERGE] Expand core's prelude with more types

[DO NOT MERGE] Expand core's prelude with more types #123991

Triggered via pull request May 14, 2024 09:57
@ChrisDentonChrisDenton
synchronize #125107
ChrisDenton:core-prelude
Status Cancelled
Total duration 4m 17s
Billable time 15m
Artifacts –

ci.yml

on: pull_request
Calculate job matrix
9s
Calculate job matrix
Matrix: job
bors build finished
0s
bors build finished
Fit to window
Zoom out
Zoom in

Annotations

8 errors
PR - mingw-check
Canceling since a higher priority waiting request for 'CI-refs/pull/125107/merge' exists
PR - mingw-check
The operation was canceled.
PR - x86_64-gnu-tools
Canceling since a higher priority waiting request for 'CI-refs/pull/125107/merge' exists
PR - x86_64-gnu-tools
The operation was canceled.
PR - x86_64-gnu-llvm-17
Canceling since a higher priority waiting request for 'CI-refs/pull/125107/merge' exists
PR - x86_64-gnu-llvm-17
The operation was canceled.
PR - mingw-check-tidy
Canceling since a higher priority waiting request for 'CI-refs/pull/125107/merge' exists
PR - mingw-check-tidy
The operation was canceled.