Status

Changes

Console Output

View Build Information

Polling Log

Git Build Data

Previous Build

Next Build

#183 (Jun 15, 2020, 2:21:42 PM)

Started 5 yr 2 mo ago

Took 41 min on olive

Started by GitHub push by garrigue

Started by GitHub push by xavierleroy

Revision: e4bf109d1e7f64aa21a3edc00af4036c029604a6
Repository: https://github.com/ocaml/ocaml

origin/trunk

Changes

Add injectivity annotations (#9500) (commit: 603506a) (details / githubweb)
Signal handling in native code without the page table (#9682) (commit: e4bf109) (details / githubweb)