7 Commits (4782f8417db835bc7c32ee4ccbaca7cf172fc14a)

Author	SHA1	Message	Date
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	ee665051b3	Update to use `actions/stale` instead of Stale Bot (#4143)	2020-07-14 23:28:34 +02:00
Marco Bonelli	4b76ffff45	CI: fix deployment branch check (#4130)	2020-06-27 18:19:22 +02:00
Zlatan Vasović	d8e6c7e11f	Quick fix, github.branch -> github.ref	2020-06-26 19:09:47 +02:00
Owen Voke	7e3ca9c540	Resolve deploy key from secrets	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	bcab713a65	Add GitHub Actions CI workflow	2020-06-26 18:55:59 +02:00