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

Build #2944 (Jul 11, 2025, 9:45:26 AM)

Changes
  1. typechecker: fix an internal error due to wrong exception (commit: fa858d9) (details / githubweb)

Started by GitHub push by Octachron

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