summaryrefslogtreecommitdiff
path: root/.github
Commit message (Expand)AuthorAgeFilesLines
* Use zstd for GHA CI artifacts upload and download (#10991)Enguerrand2022-03-211-3/+3
* Install GNU parallel on the macOS runnerDavid Allsopp2022-02-031-0/+3
* Add -show-timings option to ocamltestDavid Allsopp2021-12-231-1/+1
* Revert to ocaml/ocaml for various .git* noise; README.md in Makefile and reve...Tom Kelly2021-12-211-1/+0
* Revert github ISSUE_TEMPLATE to ocaml/ocaml versionTom Kelly2021-12-212-24/+27
* Merge commit '0b3f8dd77d7569208f21bcbd67b85260eed65076' into 5.00_rebase_to_prTom Kelly2021-12-201-4/+0
|\
| * Merge pull request #1400 from lthls/cmm_invariantsGabriel Scherer2021-04-291-2/+2
| |\
| | * Enable Cmm invariants on some CI runsVincent Laviron2021-04-201-2/+2
| * | Disable manual build temporarilyDavid Allsopp2021-04-231-1/+2
| |/
* | disable changes check on 5.0Enguerrand Decorne2021-10-071-0/+1
* | Merge commit 'eed1110e6aece8713605806bee7066ea07e2c0ca' intoTom Kelly2021-09-301-0/+3
|\ \ | |/
| * Fetch from the correct place when deepeningDavid Allsopp2021-04-162-0/+4
| * Fetch 50 commits in the full-flambda workflowDavid Allsopp2021-04-161-0/+2
| * Limit the automated build on push to ocaml/ocamlDavid Allsopp2021-04-141-0/+1
| * Only build the entire manual if it changedDavid Allsopp2021-04-131-0/+14
| * Test building the manual in CIDavid Allsopp2021-04-121-1/+4
* | Merge commit '297fbe90aa542b7cad08e39b4aab375cca924789' into parallel_minor_g...Tom Kelly2021-09-301-5/+6
|\ \ | |/
| * Use GitHub Actions outputs instead of cookiesDavid Allsopp2021-03-021-5/+6
* | Merge commit '3dc3cd7a4584a69d8ad4cf3c4789a9ecbe544b72' into parallel_minor_g...Tom Kelly2021-09-302-1/+92
|\ \ | |/
| * Migrate remaining tests to TravisDavid Allsopp2021-02-101-0/+21
| * Rename main workflow to buildDavid Allsopp2021-02-091-1/+1
| * Move Travis Changes and check-typo checks to GHADavid Allsopp2021-02-091-0/+70
| * Run the Github actions nnp test correctly on tags (#10173)David Allsopp2021-01-271-1/+1
| * Ensure apt succeeds in workflows (#10053)David Allsopp2020-11-271-2/+2
| * Switch the compiler CI builds from Travis to GitHub actions (#10036)David Allsopp2020-11-242-18/+71
* | Remove effects, rename to 4.12+domainsTom Kelly2021-09-271-3/+3
* | Apply suggestions from code reviewEnguerrand Decorne2021-09-131-2/+2
* | github: first shot at improving Multicore issue templateEnguerrand Decorne2021-09-101-8/+26
* | ci: expand CI runsEnguerrand Decorne2021-06-221-5/+77
* | Update ISSUE_TEMPLATE for multicore; mention how to get build version informa...Tom Kelly2021-06-142-24/+7
* | remove nnp from github workflowsTom Kelly2021-03-041-18/+0
* | Merge commit '01c6a5ebe38b680a0b104aa4075ff790f311ea01' into parallel_minor_g...Tom Kelly2021-03-041-0/+18
|\ \ | |/
| * Test no-naked-pointers on GitHub ActionsDavid Allsopp2020-07-141-0/+18
* | Merge commit 'e717512a54349bce4bbbb9590d4fe5a2c671c4e9' into parallel_minor_g...Tom Kelly2021-03-031-1/+1
|\ \ | |/
| * Upgrade the "stale" script to v3Xavier Leroy2020-06-081-1/+1
* | Merge commit 'c920ea142b9f9cc0c0eaca6903f0e782da1036d1' into parallel_minor_g...Tom Kelly2021-03-021-1/+1
|\ \ | |/
| * Run the "stale" script 3 times a weekXavier Leroy2020-05-091-1/+1
* | Merge commit 'f2587c1fb1a10548a7c35e931986af0ebecbaef7' into parallel_minor_g...Tom Kelly2021-03-021-0/+15
|\ \ | |/
| * Add a "stale" Github action to process inactive issues (#9530)Xavier Leroy2020-05-051-0/+15
* | Merge commit 'e5c8bee85e7ae2d974069d63528333ffacc1923b' into parallel_minor_g...Tom Kelly2021-03-023-0/+62
|\ \ | |/
| * Configure GitHub issue trackerDavid Allsopp2020-04-303-0/+62
* disable macos-debug ci jobEnguerrand Decorne2021-01-111-3/+0
* use matrix to dispatch jobs in github actionEnguerrand Decorne2021-01-111-31/+28
* Move from travis to Github ActionsEnguerrand Decorne2021-01-081-0/+37
View Lorry Controller Status