Skip to content
web

bump agda, 1lab #37

Sign in to view logs

bump agda, 1lab

bump agda, 1lab #37

Triggered via push July 16, 2024 11:11
@ncfavierncfavier
pushed 967a249
main
Status Success
Total duration 2m 5s
Artifacts 1

web.yaml

on: push
build
1m 41s
build
deploy
8s
deploy
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
github-pages Expired
100 KB