Skip to content
Jenkins
log in
Dashboard
Risc-V-legacy
#138
Git Build Data
Status
Changes
Console Output
View Build Information
Polling Log
Git Build Data
Previous Build
Next Build
Git Build Data
Revision
: 0ca651b95cbda5d58f7760f0fa1dba965d1f0828
Repository
:
https://github.com/ocaml/ocaml
origin/trunk
Built Branches
origin/trunk: Build #138 of Revision 0ca651b95cbda5d58f7760f0fa1dba965d1f0828 (origin/trunk)
![[Jenkins]](/ocaml/static/8707ff75/images/svgs/logo.svg){kind=logo}
