Skip to content
[Jenkins]Jenkins
log in
Success

#170 (Jun 10, 2020, 4:41:05 PM)

Started 5 yr 0 mo ago
Took 39 min on olive

Started by GitHub push by xavierleroy

Revision: 5946b93a855eb2549260b36274e2ae43d14efa15
Repository: https://github.com/ocaml/ocaml
  • origin/trunk
Changes
  1. Refactor skiplist to avoid UB casts (#9660) (commit: 5946b93) (details / githubweb)