Skip to content
[Jenkins]Jenkins
log in
Success

#40 (Apr 24, 2020, 6:10:36 PM)

Started 5 yr 4 mo ago
Took 45 min on olive

Started by GitHub push by xavierleroy (3 times)

Revision: 4d3b4311ac7005df3f4b18a2b0977a2e7599b1ff
Repository: https://github.com/ocaml/ocaml
  • origin/trunk
Changes
  1. Fix recursive module initialisation that does not terminate (#9497) (commit: df20ccf) (details / githubweb)
  2. configure: move -fexcess-precision=standard to the internal cflags (#9496) (commit: 4d3b431) (details / githubweb)