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

Build #2948 (Jul 18, 2025, 5:42:47 PM)

Progress:
Changes
  1. Removed unused field in package_type (commit: 1aeb967) (details / githubweb)
  2. Changes (commit: ac43baa) (details / githubweb)

Started by GitHub push by gasche

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