Skip to content
[Jenkins]Jenkins
log in
Success

#138 (Jun 2, 2020, 11:41:48 AM)

Started 5 yr 4 mo ago
Took 40 min on olive

Started by GitHub push by xavierleroy (2 times)

Revision: 0ca651b95cbda5d58f7760f0fa1dba965d1f0828
Repository: https://github.com/ocaml/ocaml
  • origin/trunk
Changes
  1. Unbox result of Unix.gettimeofday in unix and win32unix (#9561) (commit: a8e2f2b) (details / githubweb)
  2. Remove Const_pointer from Lambda and Clambda (#9585) (commit: 0d44a6c) (details / githubweb)
  3. Remove Const_pointer from Lambda and Clambda (#9585), bootstrap (commit: 0ca651b) (details / githubweb)