Skip to content
Mirror

Add type checker #153

Sign in to view logs

Add type checker

Add type checker #153

Triggered via push January 14, 2024 21:37
@guillaumeAbelguillaumeAbel
pushed a0f771e
step4TypeCheck
Status Success
Total duration 15s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

mirror.yml

on: push
mirror
7s
mirror
Fit to window
Zoom out
Zoom in