Read the Docs
Log In
View Docs
agda
Overview
Downloads
Search
Builds
Versions
Completed
March 29, 2023. 11:55 a.m.
Build took
167
seconds
View docs
View raw
Build #19942993
latest
(
c39a26079a764d5bc7774864365af0d68e2d1d00
)
Finished
Build completed
Build failed
Build cancelled
Error
Command time:
0
s
Return:
Build completed
Build failed
Build cancelled
