Skip to content
Back to pull request #238

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

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 #923

This job succeeded