Skip to content
[Jenkins]Jenkins
log in
Started 4 yr 6 mo ago
Took 33 sec
Failed

Build #168 (Dec 5, 2020, 6:29:51 PM)

Changes
  1. Make Scoped_location.scopes abstract (commit: ee1a202) (details / githubweb)
  2. Precompute string_of_scopes (commit: 0d25f78) (details / githubweb)

Started by GitHub push by xavierleroy

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