Skip to content

Merge pull request #106 from chrishavlin/type_checking #3

Merge pull request #106 from chrishavlin/type_checking

Merge pull request #106 from chrishavlin/type_checking #3

Triggered via push October 16, 2024 19:03
Status Success
Total duration 18s
Artifacts

type-check.yml

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