Skip to content

maint: Merge away extra head #2222

maint: Merge away extra head

maint: Merge away extra head #2222

Triggered via push September 26, 2023 21:30
Status Cancelled
Total duration 39m 55s
Artifacts

make.yaml

on: push
Matrix: cygwin
Waiting for pending jobs
Matrix: macos
Waiting for pending jobs
Matrix: mingw
Waiting for pending jobs
Matrix: ubuntu
Waiting for pending jobs
Fit to window
Zoom out
Zoom in

Annotations

1 error
make
Canceling since a higher priority waiting request for 'ci-refs/heads/default' exists