Skip to content

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

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. #12785

Triggered via pull request October 20, 2023 21:10
Status Cancelled
Total duration 6s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

build.yml

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

Annotations

3 errors
ubuntu-20.04
Canceling since a higher priority waiting request for 'refs/pull/2839/merge-pull_request-ubuntu-20.04' exists
macos-11
Canceling since a higher priority waiting request for 'refs/pull/2839/merge-pull_request-macos-11' exists
windows-2019
Canceling since a higher priority waiting request for 'refs/pull/2839/merge-pull_request-windows-2019' exists