GHA: complain if PR adds commits from people not yet listed in ./AUTHORS #2170
Triggered via pull request
November 20, 2023 15:04
Status
Success
Total duration
45m 23s
Artifacts
–