Skip to content
Run typechecker

Ready PR in 'In progress' should be in 'Needs review' #10

Sign in to view logs

Ready PR in 'In progress' should be in 'Needs review'

Ready PR in 'In progress' should be in 'Needs review' #10

Triggered via push December 12, 2024 19:28
@cheshire137cheshire137
pushed 2ed0e4d
main
Status Success
Total duration 30s
Artifacts –

check_types.yml

on: push
check-types
26s
check-types
Fit to window
Zoom out
Zoom in