Skip to content
[Jenkins]Jenkins
log in
Started 2 days 9 hr ago
In progress

Build #2953 (Jul 21, 2025, 5:46:53 PM)

Progress:
Changes
  1. symbol names: revert to using `$` only on macOS and Windows (#14143) (commit: ffa6197) (details / githubweb)

Started by GitHub push by Octachron

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