Skip to content
Back to pull request #238

GHA: complain if PR adds commits from people not yet listed in ./AUTHORS #357

Sign in to view logs

GHA: complain if PR adds commits from people not yet listed in ./AUTHORS

GHA: complain if PR adds commits from people not yet listed in ./AUTHORS #357

Annotations

1 warning

This job succeeded