Type check

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

Sign in to view logs

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

Triggered via pull request October 15, 2024 07:03

always-on-duty[bot]

synchronize #952

dependabot/submodules/piped-e6cef92

Status Success

Total duration 52s

Artifacts –

type-check.yml

on: pull_request