Commit Graph

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