Skip to content
Make

Cleanup code, bring up to date with new versions of 1Lab and Agda (#21) #29

Sign in to view logs

Cleanup code, bring up to date with new versions of 1Lab and Agda (#21)

Cleanup code, bring up to date with new versions of 1Lab and Agda (#21) #29

Triggered via push November 8, 2023 01:19
@favoniafavonia
pushed 0a70440
main
Status Success
Total duration 13s
Artifacts –

regenerate-everything.yaml

on: push
Everything.agda
4s
Everything.agda
Fit to window
Zoom out
Zoom in