Skip to content
Jenkins
log in
Dashboard
All
bootstrap
#2971
Status
Changes
Console Output
View as plain text
View Build Information
Polling Log
Git Build Data
Lockable resources
Pipeline Steps
Workspaces
Previous Build
Started 19 hr ago
Took
13 min
Success
Build #2971 (Sep 30, 2025, 1:59:37 PM)
Started by GitHub push by Octachron
Revision
: 82bcb707388fa8df0126d43b1bfd16780ba5df9f
Repository
:
https://github.com/ocaml/ocaml
origin/5.4
![[Jenkins]](/ocaml/static/db2b9b32/images/svgs/logo.svg){kind=logo}
