Skip to content
[Jenkins]Jenkins
log in
Success

#82 (May 9, 2020, 8:43:50 AM)

Started 5 yr 3 mo ago
Took 39 min on olive

Started by GitHub push by gasche

Revision: f7ec223df9c9c4871040251fb1f558e0876d379a
Repository: https://github.com/ocaml/ocaml
  • origin/trunk
Changes
  1. add a known-bug test for buggy 'rec' (non)use in the #show command (commit: f7ec223) (details / githubweb)