Read the Docs
Log In
View Docs
agda
Overview
Downloads
Search
Builds
Versions
Completed
March 31, 2023. 8:54 a.m.
Build took
161
seconds
View docs
View raw
Build #19968682
latest
(
0de7088e9f14393fba4f97826247f2c35a9a9e92
)
Finished
Build completed
Build failed
Build cancelled
Error
Command time:
0
s
Return:
Build completed
Build failed
Build cancelled
