Type check

Bump piped from `1d2337e` to `e6cef92` #1377

Sign in to view logs

Summary
Jobs
- type-check
Run details
- Usage
- Workflow file

Triggered via pull request October 15, 2024 07:02

always-on-duty[bot]

synchronize #952

dependabot/submodules/piped-e6cef92

Status Cancelled

Total duration 4s

Artifacts –

type-check.yml

on: pull_request

Annotations

1 error

Canceling since a higher priority waiting request for 'Type check-refs/pull/952/merge' exists