Commit Graph

8 Commits

Author SHA1 Message Date
bl-ue
d607f853be
scripts/*.sh: set executable permission (#5461)
In most repos, executable shell scripts have the executable bit set.
2021-03-31 00:32:17 +01:00
Jamie Magee
34f8c610df
Checkout all branches in GitHub Actions (#4437)
By default actions/checkout@v2 only checks out the latest commit of the current branch. Unfortunately, this causes the `git diff` check in `check-pr.sh` to fail, as `master` branch isn't available`.

This change checks out all commits of all branches, which allows `git diff` to work correctly.

Ideally, I'd like to use the `ref` setting of actions/checkout@v2, but that only supports a single ref so it's not possible to checkout the PR branch _and_ `master` branch at the same time.
2020-10-05 16:23:08 +01:00
Owen Voke
68f8e470d1 Fix PULL_REQUEST_ID reference when not set 2020-06-26 18:55:59 +02:00
Owen Voke
5e958f6074 Update scripts to use PULL_REQUEST_ID 2020-06-26 18:55:59 +02:00
Owen Voke
7472600aa1 Update Travis references in scripts 2020-06-26 18:55:59 +02:00
Marco Bonelli
359ada47c7 Scripts: use POSIX subcommand invocation 2019-11-29 16:01:25 +00:00
Marco Bonelli
11ad7b5203 Check PR: optimize script 2019-11-29 16:01:25 +00:00
Marco Bonelli
581821448e Add check-pr script
This script will be run by Travis-CI (on PR builds only) to run some useful
checks. Refer to the comment at the top of the script for more information.
2019-11-29 16:01:25 +00:00