| Commit message (Expand) | Author | Age | Files | Lines |
* | Merge commit 'c10217818f22d5eab897523a52a23fdf93c482f6' into parallel_minor_g... | Tom Kelly | 2021-03-05 | 7 | -0/+21 |
|\ |
|
| * | Inria CI: add timeouts to pipeline jobs | Sébastien Hinderer | 2020-09-16 | 7 | -0/+21 |
* | | Merge commit 'd0e983e2aacfc77643f042a11673a7582bbb3015' into parallel_minor_g... | Tom Kelly | 2021-03-05 | 6 | -0/+179 |
|\ \
| |/ |
|
| * | Merge remote-tracking branch 'upstream/trunk' into trunk | John Whitington | 2020-09-11 | 15 | -124/+368 |
| |\ |
|
| * | | Rename tools/unlabel --> tools/sync_stdlib_docs | John Whitington | 2020-09-10 | 2 | -9/+9 |
| * | | Remove SINCE work from tools/unlabel | John Whitington | 2020-09-10 | 1 | -20/+6 |
| * | | Restore tilde-removal, other little fixes | John Whitington | 2020-08-05 | 1 | -1/+3 |
| * | | Float.Array(Labels) generated by tools/unlabel | John Whitington | 2020-08-05 | 1 | -0/+17 |
| * | | Tildes back in ~random parameter in Hashtbl.create | John Whitington | 2020-08-03 | 1 | -1/+1 |
| * | | Remove unneeded comment, typo | John Whitington | 2020-08-01 | 1 | -2/+2 |
| * | | Fix label warnings | John Whitington | 2020-07-31 | 1 | -1/+1 |
| * | | Check-typo and indenting all done | John Whitington | 2020-07-31 | 1 | -4/+16 |
| * | | More patch indenting | John Whitington | 2020-07-31 | 1 | -2/+2 |
| * | | Better indentation for moreLabels.mli patches | John Whitington | 2020-07-31 | 4 | -12/+12 |
| * | | Better, simpler, removal of unix type aliases | John Whitington | 2020-07-30 | 1 | -53/+5 |
| * | | Labeled and unlabeled @sinces automatically | John Whitington | 2020-07-30 | 1 | -5/+19 |
| * | | Tildes back in labeled modules | John Whitington | 2020-07-29 | 1 | -3/+3 |
| * | | Tilde removal in place. Now will put them back in. | John Whitington | 2020-07-29 | 1 | -46/+55 |
| * | | Fix tools/unlabel to deal with Hashtbl injectivity | John Whitington | 2020-07-27 | 1 | -1/+1 |
| * | | Merge branch 'trunk' into trunk | John Whitington | 2020-07-27 | 8 | -822/+14 |
| |\ \ |
|
| * | | | Allow tools/unlabel to run from anywhere | David Allsopp | 2020-07-27 | 1 | -39/+46 |
| * | | | Check that tools/unlabel is a no-op in CI | David Allsopp | 2020-07-27 | 1 | -0/+22 |
| * | | | Match documentation and labels | John Whitington | 2020-07-19 | 1 | -1/+0 |
| * | | | Generate moreLabels.mli programatically | John Whitington | 2020-07-18 | 5 | -2/+53 |
| * | | | Make hashtbl.mli / set.mli / map.mli from labeled | John Whitington | 2020-07-18 | 1 | -0/+21 |
| * | | | Check-typo fix | John Whitington | 2020-07-18 | 1 | -1/+0 |
| * | | | Unify unixLabels.mli / unix.mli via tools/unlabel | John Whitington | 2020-07-17 | 1 | -1/+61 |
| * | | | More check-typo fixes | John Whitington | 2020-07-08 | 1 | -4/+8 |
| * | | | Fixes per travis check-typo and travis changes | John Whitington | 2020-07-08 | 1 | -2/+15 |
| * | | | Unify labeled and unlabeled Standard Library modules | John Whitington | 2020-07-07 | 1 | -0/+11 |
* | | | | Merge commit 'd9a3ad413f9567c418cf7809a110fac5fcd36f6c' into parallel_minor_g... | Tom Kelly | 2021-03-05 | 15 | -86/+344 |
|\ \ \ \
| | |_|/
| |/| | |
|
| * | | | Notify only on regressions for Inria CI's other-configs job | Sébastien Hinderer | 2020-08-14 | 1 | -1/+1 |
| * | | | Define Inria CI's other-configs job as a Jenkins pipeline, take #2 | Sébastien Hinderer | 2020-08-14 | 1 | -1/+1 |
| * | | | Define Inria CI's other-configs job as a Jenkins pipeline, take #1 | Sébastien Hinderer | 2020-08-14 | 2 | -0/+43 |
| * | | | Notify only on regressions for Inria CI's Risc-V job | Sébastien Hinderer | 2020-08-13 | 1 | -1/+1 |
| * | | | Define Inria CI's Risc-V job as a Jenkins pipeline, take #1 | Sébastien Hinderer | 2020-08-13 | 1 | -0/+42 |
| * | | | Notify only on regressions for Inria CI's bootstrap job | Sébastien Hinderer | 2020-08-13 | 1 | -1/+1 |
| * | | | Use a pipeline to define the bootstrap Jenkins job, take #1 | Sébastien Hinderer | 2020-08-13 | 3 | -1/+44 |
| * | | | Make the sanitizers and step-by-step-build CI jobs less verbose | Sébastien Hinderer | 2020-08-11 | 2 | -2/+2 |
| * | | | tools/ci/inria/step-by-step-build/script: fixes | Sébastien Hinderer | 2020-08-11 | 1 | -2/+1 |
| * | | | Split the extra-checks job, take #2 | Sébastien Hinderer | 2020-08-11 | 1 | -2/+3 |
| * | | | Split Inria CI's extra-checks job, take #1 | Sébastien Hinderer | 2020-08-11 | 5 | -79/+114 |
| * | | | dune-build: send e-mails only for regressions | Sébastien Hinderer | 2020-08-11 | 1 | -1/+1 |
| * | | | Always report failures of Inria CI's dune-build job | Sébastien Hinderer | 2020-08-11 | 1 | -1/+1 |
| * | | | tools/ci/inria/README.md: typographical improvements | Sébastien Hinderer | 2020-08-11 | 1 | -2/+2 |
| * | | | Inria CI: define the dune-build job as a Jenkins pipeline | Sébastien Hinderer | 2020-08-10 | 2 | -0/+41 |
| * | | | Introduce the check-typo Jenkins pipeline | Sébastien Hinderer | 2020-08-10 | 3 | -6/+60 |
* | | | | Merge commit '5da188b3ff468695681800b1a01191daef6dac0e' into parallel_minor_g... | Tom Kelly | 2021-03-05 | 1 | -38/+24 |
|\ \ \ \
| |/ / / |
|
| * | | | Simplify the tools/ci/inria/extra-checks script | Sébastien Hinderer | 2020-08-06 | 1 | -34/+16 |
| * | | | tools/ci/inria/extra-checks: stop mentionning the world target | Sébastien Hinderer | 2020-08-03 | 1 | -1/+1 |