Skip to content
[Jenkins]Jenkins
log in
Started 4 days 13 hr ago
Took 13 min
Success

Build #2880 (Jul 10, 2025, 6:56:45 AM)

Changes
  1. Speedup some Set/Map access by using is_empty instead of cardinal = 0 (#14119) (commit: c064ea2) (details / githubweb)

Started by GitHub push by nojb

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