Read the Docs
Log In
View Docs
agda
Overview
Downloads
Search
Builds
Versions
Completed
March 29, 2023. 5:59 p.m.
Build took
114
seconds
View docs
View raw
Build #19947519
Pull Request
#
6558
(
3a5b5534e8c71678ca782d67bb65af06ef0ceaab
)
Finished
Build completed
Build failed
Build cancelled
Error
Command time:
0
s
Return:
Build completed
Build failed
Build cancelled
