Skip to content
Typecheck

types for header changes (#40) #132

Sign in to view logs

types for header changes (#40)

types for header changes (#40) #132

Triggered via push July 27, 2023 20:07
@rijkvanzantenrijkvanzanten
pushed 0ad32f8
main
Status Success
Total duration 37s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

typecheck.yaml

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