Skip to content
[Jenkins]Jenkins
log in
Success

#194 (Jun 22, 2020, 10:07:42 AM)

Started 5 yr 2 mo ago
Took 45 min on olive

Started by GitHub push by xavierleroy

Revision: b18ac65d897df9b6c9d268ca5a3f0ff61433beba
Repository: https://github.com/ocaml/ocaml
  • origin/trunk
Changes
  1. Remove Is_in_code_area and registration of code in page table (#9697) (commit: b18ac65) (details / githubweb)