Skip to content
web

bump agda-stdlib #35

Sign in to view logs

bump agda-stdlib

bump agda-stdlib #35

Triggered via push July 16, 2024 09:33
@ncfavierncfavier
pushed 1727565
main
Status Failure
Total duration 29m 51s
Artifacts –

web.yaml

on: push
build
29m 41s
build
deploy
0s
deploy
Fit to window
Zoom out
Zoom in

Annotations

1 error
build
Process completed with exit code 1.