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
