Skip to content

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

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

Triggered via pull request October 20, 2023 21:10
Status Cancelled
Total duration 5s
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
macos-11
Canceling since a higher priority waiting request for 'refs/pull/2839/merge-pull_request-macos-11' exists
ubuntu-20.04
Canceling since a higher priority waiting request for 'refs/pull/2839/merge-pull_request-ubuntu-20.04' exists
windows-2019
Canceling since a higher priority waiting request for 'refs/pull/2839/merge-pull_request-windows-2019' exists