Type check

Bump piped from `1d2337e` to `e6cef92` (#952) #1380

Sign in to view logs

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

Triggered via push October 15, 2024 07:05

master

Status Success

Total duration 46s

Artifacts –

type-check.yml

on: push