Skip to content
[Jenkins]Jenkins
log in
Started 8 hr 52 min ago
Took 3 min 15 sec
Success

Build #3023 (Sep 17, 2025, 1:40:18 AM)

Changes
  1. stdlib: add filter_mapi function (#14227) (commit: 75e0f84) (details / githubweb)

Started by GitHub push by nojb

Revision: 75e0f8459f914df08a89982b7dce29a8ec75056c
Repository: https://github.com/ocaml/ocaml/
  • origin/trunk