Read the Docs
Log In
View Docs
agda
Overview
Downloads
Search
Builds
Versions
Completed
March 30, 2023. 11:21 p.m.
Build took
119
seconds
View docs
View raw
Build #19964220
Pull Request
#
6561
(
1887475f8729414de3e64afc071620533159a837
)
Finished
Build completed
Build failed
Build cancelled
Error
Command time:
0
s
Return:
Build completed
Build failed
Build cancelled
