Read the Docs
Log In
View Docs
agda
Overview
Downloads
Search
Builds
Versions
Completed
March 28, 2023. 2:11 p.m.
Build took
159
seconds
View docs
View raw
Build #19931194
latest
(
9b98903e635ae7d6bd8dc8dab9b5cfe3cb5dfb8f
)
Finished
Build completed
Build failed
Build cancelled
Error
Command time:
0
s
Return:
Build completed
Build failed
Build cancelled
