Skip to content
Agda

docs: banner kit — visual identity ("Diagrammatic Hush") (#140) #570

Sign in to view logs

docs: banner kit — visual identity ("Diagrammatic Hush") (#140)

docs: banner kit — visual identity ("Diagrammatic Hush") (#140) #570

Run time

Learn about OS pricing on GitHub Actions
Job Run time
cold-check
7m 49s
check
2m 6s
9m 55s