4 Commits

Author	SHA1	Message	Date
Ben Grande	e058acb78d	ci: add permission for job to close PR	2024-07-01 13:42:20 +02:00
Ben Grande	51424a47e6	ci: change workflow if statement syntax	2024-07-01 12:29:20 +02:00
Ben Grande	ba5193126e	ci: add condition to close pull request	2024-07-01 12:18:46 +02:00
Ben Grande	ded46161f6	ci: close PRs that have commits made on GitHub Web	2024-07-01 12:09:07 +02:00