Hey mantid-builder!
A personal access token (classic) "Jenkins GitHub Access" with delete:packages, repo, workflow, and write:packages scopes was recently added to your account. Visit https://github.com/settings/tokens for more information.
To see this and other security events for your account, visit https://github.com/settings/security-log
If you run into problems, please contact support by visiting https://github.com/contact
Thanks,
The GitHub Team
