Navigation
Projects
Signed in as: AnonymousUser
Settings
Log out
Help
Support
Docs
Getting started
Status
Sign up
Log in
idris1-zh
ZH-CN
haskell
idris
transtion
Maintainers
Repository
running-grass/Idris-dev
Versions
1
Builds
14
Version latest
/
Builds
/
#17570868
Started
Duration
Branch
latest
(
e8c4fb5a66a399be6f248438b5d94ba0e830ef9c
)
Output
Raw log
Debug
Wrap output
View docs
There was an error with this build
Loading
