Skip to content
[Jenkins]Jenkins
log in
Success

#94 (May 15, 2020, 5:38:56 PM)

Started 5 yr 1 mo ago
Took 39 min on olive

Started by GitHub push by nojb

Revision: f52fdc2068204da5d78678b02ee0ac2444b6f8c1
Repository: https://github.com/ocaml/ocaml
  • origin/trunk
Changes
  1. Define to_rev_seq in Set and Map module (#9075) (commit: f52fdc2) (details / githubweb)