Skip to content
.github/workflows/main.yml

improve comments #3539

Sign in to view logs

improve comments

improve comments #3539

Triggered via push January 29, 2025 09:43
@martinescardomartinescardo
pushed c22dd9d
master
Status Success
Total duration 2m 3s
Artifacts 1

main.yml

on: push
Typechecking
1m 54s
Typechecking
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
html
10.6 MB