Commit Graph

10 Commits

Author SHA1 Message Date
dependabot[bot]
7908c4ba2e
Bump actions/setup-python from 3 to 4
Bumps [actions/setup-python](https://github.com/actions/setup-python) from 3 to 4.
- [Release notes](https://github.com/actions/setup-python/releases)
- [Commits](https://github.com/actions/setup-python/compare/v3...v4)

---
updated-dependencies:
- dependency-name: actions/setup-python
  dependency-type: direct:production
  update-type: version-update:semver-major
...

Signed-off-by: dependabot[bot] <support@github.com>
2022-06-13 23:05:19 +00:00
Michael Kaye
ba109a486f Update to build scripts to enable sonarqube reporting including coverage. 2022-05-25 13:35:40 +01:00
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