Skip to content

Lack of having a commit ID for push/pull is also an error. #4958

Lack of having a commit ID for push/pull is also an error.

Lack of having a commit ID for push/pull is also an error. #4958

Triggered via pull request October 20, 2023 21:10
Status Cancelled
Total duration 4s
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/2839/merge' exists