Michael Kaye
|
1c7f95c196
|
Add `.login` to get the username of the PR merger.
I dispair at the github actions docs.
|
2022-05-17 17:40:42 +01:00 |
|
Michael Kaye
|
251e3a0a83
|
Ensure we print the user in the post-PR merge tests.
|
2022-05-13 10:40:03 +01:00 |
|
Michael Kaye
|
3769dad30e
|
Github action should refer to result is 'success', not status is "success".
|
2022-05-11 11:09:01 +01:00 |
|
Michael Kaye
|
2f39be37a0
|
Check merged flag from event.pull_request
|
2022-05-09 15:46:07 +01:00 |
|
Michael Kaye
|
80263bb790
|
Use ' not " for quotes, and add more brackets.
|
2022-05-09 15:35:07 +01:00 |
|
Michael Kaye
|
66fe792d0e
|
Fix typo `..` -> `.`
|
2022-05-09 15:15:09 +01:00 |
|
Michael Kaye
|
4d1378d0a1
|
Fix typo - pull-request -> pull_request
|
2022-05-09 15:12:29 +01:00 |
|
Michael Kaye
|
39c2b08065
|
Run the PR test after merge and report to channel if it fails (#5962)
* Fork sonarqube run into a nightly build, report failures back to channel.
* Each PR triggers a build after merge, report failures back to channel.
|
2022-05-09 13:49:34 +00:00 |