Skip to content

Bump piped from 0fe0aee to ad30a9a #1016

Bump piped from 0fe0aee to ad30a9a

Bump piped from 0fe0aee to ad30a9a #1016

Triggered via pull request December 27, 2023 22:31
Status Cancelled
Total duration 50s
Artifacts

type-check.yml

on: pull_request
type-check
23s
type-check
Fit to window
Zoom out
Zoom in

Annotations

2 errors
type-check
Canceling since a higher priority waiting request for 'Type check-refs/pull/840/merge' exists
type-check
The operation was canceled.