Read the Docs
Log In
View Docs
agda
Overview
Downloads
Search
Builds
Versions
Completed
March 28, 2023. 10:17 a.m.
Build took
103
seconds
View docs
View raw
Build #19928632
Pull Request
#
6556
(
1118c0dd760790b8e4cbbfe5639357960617e99d
)
Finished
Build completed
Build failed
Build cancelled
Error
Command time:
0
s
Return:
Build completed
Build failed
Build cancelled
