SpiritCroc
|
e7ffd128dc
|
Automatic upstream merge postprocessing
Change-Id: Id00a9dd26823196ffca4fbd64513875011bd2969
|
2022-05-18 10:00:20 +02: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 |
|