Skip to content
Docker

Upgrade 1lab and clean up code #254

Sign in to view logs

Upgrade 1lab and clean up code

Upgrade 1lab and clean up code #254

Triggered via push June 10, 2024 12:50
@favoniafavonia
pushed f0c9ed2
main
Status Success
Total duration 4m 14s
Artifacts –

agda.yml

on: push
build
4m 6s
build
Fit to window
Zoom out
Zoom in