Skip to content

Merge pull request #136 from jorenham/typing #8

Merge pull request #136 from jorenham/typing

Merge pull request #136 from jorenham/typing #8

Triggered via push May 20, 2025 21:26
Status Success
Total duration 31s
Artifacts

type_check.yml

on: push
type-check
22s
type-check
Fit to window
Zoom out
Zoom in