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
..
build.yml	"TODO:" is forbidden by Detekt	2022-05-12 17:06:52 +02:00
docs.yml
gradle-wrapper-validation.yml
post-pr.yml	Add .login to get the username of the PR merger.	2022-05-17 17:40:42 +01:00
quality.yml	Setup Knit in the CI to check content of md files	2022-05-16 12:23:10 +02:00
sonarqube.yml	Github action should refer to result is 'success', not status is "success".	2022-05-11 11:09:01 +01:00
sync-from-external-sources.yml
tests.yml
triage-incoming.yml
triage-labelled.yml
triage-move-review-requests.yml
triage-priority-bugs.yml
triage-unlabelled.yml
update-gradle-wrapper.yml