Skip to content
[Jenkins]Jenkins
log in
Started 1 day 1 hr ago
Took 2 min 57 sec
Success

Build #2929 (Jun 27, 2025, 10:09:25 PM)

Changes
  1. Avoid an error when a channel is flushed during close (commit: fe89cb9) (details / githubweb)
  2. review (commit: 2a78eb4) (details / githubweb)

Started by GitHub push by gasche

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