Skip to content
PR Typecheck

Iridis batch script fix (#339) #112

Sign in to view logs

Iridis batch script fix (#339)

Iridis batch script fix (#339) #112

Triggered via push February 19, 2025 14:11
@MatthewMiddlehurstMatthewMiddlehurst
pushed 7aaa2b8
main
Status Success
Total duration 3m 20s
Artifacts –

pr_typecheck.yml

on: push
typecheck
3m 10s
typecheck
Fit to window
Zoom out
Zoom in