Type check

Bump piped from `90e9b19` to `470915f` (#980) #1472

Sign in to view logs

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

Triggered via push December 1, 2024 00:48

master

Status Success

Total duration 46s

Artifacts –

type-check.yml

on: push