Commit Graph

21 Commits (e567dc6833527e8c827c35a839e842c1d79e979c)

Author SHA1 Message Date
Sebastiaan Speck 54f284164d
check-pr: fix typo (#12038) 2024-01-08 20:38:24 +01:00
Sebastiaan Speck 31dd28e9a7
check-pr: only check if new platform-specific page exists as common duplicate (#11993) 2024-01-06 19:13:20 +01:00
Sebastiaan Speck b2f0fb4c04
scripts/check-pr: check only for English pages (#11980) 2024-01-03 19:04:10 +05:30
Sebastiaan Speck 36a50f5495
check-pr: fix check_duplicates (#11954) 2024-01-01 15:57:04 +01:00
Sebastiaan Speck ca222b2b81
check-pr: add special case for '(' and ')' (#11869) 2023-12-27 22:17:30 +01:00
Sebastiaan Speck 4e280a9efe
check-pr: add < and > as special cases and refactor (#11841) 2023-12-27 12:06:40 +05:30
Sebastiaan Speck 6edd7d1854
check-pr: use better regex (#11525)
* check-pr: more descriptive message

* check-pr: better regex

* Update check-pr.sh
2023-11-17 23:15:25 +05:30
Sebastiaan Speck 8f1ca06f30
check-pr: add outdated-check (#11498) 2023-11-14 16:36:02 +01:00
Sebastiaan Speck 75d9f61819
check-pr: add check to see if English page exists (#11470) 2023-11-12 10:48:15 +01:00
Sebastiaan Speck 4ea80ce3b3
check-pr: fix GitHub Action to gather the diff (#11425) 2023-11-11 19:35:12 +01:00
Lena 250b9d7c21
scripts: use `[[` instead of `[`, fix literal shell globs (#11290)
* build.sh: move `*` outside quotes (it doesn't get expanded)

* scripts: use `[[` instead of `[` in if statements
2023-10-26 22:11:24 +05:30
CleanMachine1 6637acf662
scripts: add SPDX-License-Identifier in files (#6215) 2021-07-16 14:15:31 +01:00
Owen Voke 7d1e2e24ef tools: update script references to 'main' branch 2021-05-01 20:10:05 +01:00
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