fde5811d74
ci: use bash when executing the "bors build finished" jobs
...
We don't clone the repository in those builders, so the default shell
(src/ci/exec-with-shell.py) is not present there.
2020-04-29 16:32:32 +02:00
61831ff7f7
ci: remove duplicated job names on GHA
2020-04-22 18:55:48 +02:00
1f106b5527
ci: set a default shell on GHA
2020-04-22 18:53:11 +02:00
8506bb0060
Update the minimum external LLVM to 8
...
LLVM 8 was released on March 20, 2019, over a year ago.
2020-04-14 12:44:41 -07:00
824dcd424f
ci: disable cancel-outdated-builds for the try branch
...
While for auto, try and PR builds we only want the latest commit to be
tested, that's not true for try builds: each commit pushed to the branch
is a different PR being tested, and we want multiple PRs to be tested in
parallel if there is enough demand.
Fixes #70569
2020-03-31 19:49:36 +02:00
89339df264
ci: run the "bors build finished" jobs only during try and auto runs
2020-03-24 15:36:14 +01:00
11aafa5305
ci: run gha workflows for try, auto and master on the fork
2020-03-24 15:36:12 +01:00
9beb8f5477
ci: add github actions configuration
2020-03-24 15:36:07 +01:00
Pietro Albini