delta/ocaml.git/tools, branch enter-mod-declgithub.com: ocaml/ocaml
in -dtimings output, show time spent in C linker clearly2019-08-26T05:58:28+00:00Valentin Gatien-Baronvgatien-baron@janestreet.com2019-08-23T13:20:45+00:00f40011556c2ca3a11b323d4215f17cf8caacdae9
tools/ci/inria/extra-checks: use git clean rather than make distclean2019-08-06T12:47:07+00:00Sébastien HindererSebastien.Hinderer@inria.fr2019-08-06T12:47:07+00:008c1107d910fb9e3ca07edfe922b56acaa69bdf74
release-checklist: be more explicit about how to update the year in the manual2019-08-01T09:36:33+00:00Damien Doligezdamien.doligez@inria.fr2019-08-01T09:36:33+00:0050727df48249c56eeb33850bc974801e0c79c282
Merge pull request #8845 from dra27/old-school2019-07-31T10:58:36+00:00David Allsoppdavid.allsopp@metastack.com2019-07-31T10:58:36+00:00d689f33e04aa6741080bdc3eb164a1e8b9fa88b1
Test make world on Inria CI
Test make world on Inria CI
Move the quicker tests to the top of the script2019-07-31T09:30:59+00:00David Allsoppdavid.allsopp@metastack.com2019-07-31T09:30:59+00:0037c524b447616ead1ca62b4f8d1f0ca1faa0e0d5
Test make world on Inria CI2019-07-30T10:09:57+00:00David Allsoppdavid.allsopp@metastack.com2019-07-30T10:09:57+00:00fdda9d2e3b06535a655352ba8cb1bb23e0204810
Test all ocamldoc generators in the CI2019-07-27T22:11:59+00:00David Allsoppdavid.allsopp@metastack.com2019-07-27T19:18:38+00:0091c3ca831ca3102d8f2aaaba1c79e457e3cca078
Build all the formats of the standard library documentation.
Build all the formats of the standard library documentation.
minor release-checklist update2019-07-24T12:49:44+00:00Gabriel Scherergabriel.scherer@gmail.com2019-07-24T12:49:37+00:005cba149ebfdcb3afd79d447ce5ab2b719ec46dfe
Test non-shared platform and minimal build2019-07-18T19:27:39+00:00David Allsoppdavid.allsopp@metastack.com2019-07-18T19:27:39+00:0032df16fd7f7d9f07a73ce38e6e2b712235168797