Agda 2.6.4 #19
Triggered via pull request
February 17, 2024 09:36
jkopanski
Status
Success
Total duration
10m 12s
Artifacts
–