Read the Docs
Log In
View Docs
agda
Overview
Downloads
Search
Builds
Versions
Completed
March 27, 2023. 4:06 p.m.
Build took
108
seconds
View docs
View raw
Build #19918892
Pull Request
#
6510
(
81e8dc0bbb2e2e1847233a9563ae62cf387767a9
)
Finished
Build completed
Build failed
Build cancelled
Error
Command time:
0
s
Return:
Build completed
Build failed
Build cancelled
