summaryrefslogtreecommitdiff
path: root/.github
Commit message (Expand)AuthorAgeFilesLines
* Check that no ignored files have been committedDavid Allsopp2022-12-221-0/+4
* CI: Cancel redundant workflows (#11730)Jules Aguillon2022-11-162-0/+14
* Merge pull request #11405 from dra27/ghaXavier Leroy2022-11-142-6/+16
|\
| * Tweak the Check Changes jobDavid Allsopp2022-08-291-3/+4
| * Use persist-credentials: false in actions/checkoutDavid Allsopp2022-08-292-3/+6
| * Remove all privileges on GITHUB_TOKENDavid Allsopp2022-08-292-0/+6
* | Switch required autoconf to 2.71 (#11294)David Allsopp2022-09-281-1/+1
|/
* Merge branch 'ocaml:trunk' into gha_manual_fixupEnguerrand2022-08-021-0/+23
|\
| * Test 32-bit build in GitHub Actions (#11143)David Allsopp2022-08-011-0/+23
* | actions: move manual change check to the build workflow to improve chances of...Enguerrand Decorne2022-08-021-16/+18
|/
* Remove artefact tarball after extractionDavid Allsopp2022-07-221-0/+2
* Revert "Disable manual build temporarily"David Allsopp2022-07-221-2/+1
* Reset git credential configuration before uploadDavid Allsopp2022-07-221-0/+1
* Fix workflow yamlDavid Allsopp2022-07-221-11/+11
* testsuite: remove taskset-c0Enguerrand Decorne2022-07-221-11/+1
* actions: reuse build artifacts for the debug runtime run as wellEnguerrand Decorne2022-07-221-30/+92
* Allow the actions/stale to write to issuesDavid Allsopp2022-06-251-0/+2
* Limit GHA to pushes to maintenance branchesDavid Allsopp2022-06-182-1/+11
* 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
|\ \ | |/
View Lorry Controller Status