Skip to content
Make

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

Sign in to view logs

Cleanup code, bring up to date with new versions of 1Lab and Agda

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

Triggered via pull request November 8, 2023 00:12
@TOTBWFTOTBWF
synchronize #21
cleanup
Status Success
Total duration 16s
Artifacts –

regenerate-everything.yaml

on: pull_request
Everything.agda
5s
Everything.agda
Fit to window
Zoom out
Zoom in