Skip to content

state pull should use the already-merged commit's build script instead of attempting a merge. #9683

state pull should use the already-merged commit's build script instead of attempting a merge.

state pull should use the already-merged commit's build script instead of attempting a merge. #9683

Triggered via pull request November 26, 2024 20:14
Status Cancelled
Total duration 5s
Artifacts

verify.yml

on: pull_request
Target & Verify PR
0s
Target & Verify PR
Fit to window
Zoom out
Zoom in

Annotations

1 error
Target & Verify PR
Canceling since a higher priority waiting request for 'refs/pull/3608/merge' exists