9 Commits (13ff1d5964a5ae6d5feb7f6241259598a7536ae9)

Author	SHA1	Message	Date
Owen Voke	d33da35733	ci: update to use 'main' branch	2021-05-01 20:10:05 +01:00
Owen Voke	1d2b4242c8	ci: generate PDF version of tldr pages	2020-12-04 18:48:24 +00:00
Ein Verne	1491a6cb82	ci: fix issue with `set-env` usage (#4964)	2020-11-18 11:54:26 +00: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
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