Skip to content

Bump piped from 023ff02 to 404e6ed #2052

Bump piped from 023ff02 to 404e6ed

Bump piped from 023ff02 to 404e6ed #2052

Triggered via pull request December 23, 2024 01:19
Status Cancelled
Total duration 58s
Artifacts

type-check.yml

on: pull_request
type-check
45s
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/646/merge' exists
type-check
The operation was canceled.