15 Commits (41d9dd636a51846bbef74a2431375d74da45f5cb)

Author	SHA1	Message	Date
K.B.Dharun Krishna	7ee3ed4466	CI: bump actions/checkout to v4 (#10669)	2023-09-05 16:29:38 +02:00
Anton Yakutovich	cf2f75591f	ci.yml: refactor workflow (#8927)	2022-10-12 07:17:21 -03:00
Oscar Dominguez	4f430f0642	ci: upgrade actions/setup-python to v4 (#8614)	2022-10-02 10:53:28 +05:30
Alex	0fbe2488eb	workflows/*: add security hardening (#8518)	2022-09-28 14:17:33 -03:00
Axel Navarro	e897720058	ci.yml, stale.yml: update runtime to node16 (#8068) ... * stale.yml: update runtime to node16 * ci.yml: update runtime to node16	2022-05-01 17:50:24 +10:00
Matthew Peveler	3fa29ea1c2	tooling: add black and flake8 for python formatting/linting (#6454)	2021-09-03 12:17:51 -03:00
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