Skip to content

Merge branch 'main' into main #7

Merge branch 'main' into main

Merge branch 'main' into main #7

Triggered via push July 12, 2024 08:14
Status Success
Total duration 41s
Artifacts

typecheck.yml

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