 bl-ue
|
d607f853be
scripts/*.sh: set executable permission (#5461)
|
4 years ago |
 Jamie Magee
|
34f8c610df
Checkout all branches in GitHub Actions (#4437)
|
4 years ago |
 Owen Voke
|
68f8e470d1
Fix PULL_REQUEST_ID reference when not set
|
4 years ago |
|
Owen Voke
|
5e958f6074
Update scripts to use PULL_REQUEST_ID
|
4 years ago |
|
Owen Voke
|
7472600aa1
Update Travis references in scripts
|
4 years ago |
 Marco Bonelli
|
359ada47c7
Scripts: use POSIX subcommand invocation
|
5 years ago |
|
Marco Bonelli
|
11ad7b5203
Check PR: optimize script
|
5 years ago |
|
Marco Bonelli
|
581821448e
Add check-pr script
|
5 years ago |
