Skip to content
Typecheck

Having fun with lines #241

Sign in to view logs

Having fun with lines

Having fun with lines #241

Triggered via push August 10, 2023 22:04
@rijkvanzantenrijkvanzanten
pushed 78f4eb7
main
Status Success
Total duration 50s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

typecheck.yaml

on: push
Typecheck
40s
Typecheck
Fit to window
Zoom out
Zoom in