Skip to content
[Jenkins]Jenkins
log in
Started 16 days ago
In progress

Build #2975 (Jul 31, 2025, 1:58:32 PM)

Progress:
Changes
  1. Print row types when they are GADT constructors (commit: ae66354) (details / githubweb)
  2. Better Btype.is_row_name (commit: 8c57adb) (details / githubweb)

Started by GitHub push by Octachron

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