Skip to content
Check Types

better track types (#393) #678

Sign in to view logs

better track types (#393)

better track types (#393) #678

Triggered via push March 13, 2025 15:12
@theomonnomtheomonnom
pushed 8ce303b
main
Status Success
Total duration 52s
Artifacts –

check-types.yml

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