Sebastiaan Speck
dcf36b0d97
CI: check if the more info link is up-to-date ( #13566 )
2024-09-03 07:43:49 +02:00
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