Skip to content
[Jenkins]Jenkins
log in
Started 2 days 21 hr ago
Took 2 min 56 sec
Success

Build #2936 (Jul 2, 2025, 3:07:53 PM)

Changes
  1. Make List.{take,drop} total (#14124) (commit: 6b59d66) (details / githubweb)

Started by GitHub push by nojb

Revision: 6b59d66182bc54d24bef3ec6b901cb512fdea6b6
Repository: https://github.com/ocaml/ocaml/
  • origin/trunk