4 Commits

Author SHA1 Message Date
Syed Muhammad Dawoud Sheraz Ali
02a4b1efb1
build: re-add auto-add for PRs with a different target (#37) 2025-01-17 11:31:23 +05:00
Régis Behmo
9f6b2ffdcd ci: upgrade vendor actions 2024-10-03 11:16:24 +02:00
Régis Behmo
fe3742a0f0 ci: don't even try to auto-add PRs to github project
Auto-adding PRs to the Github project is not working because the
github-token is not available there.
2024-03-05 12:03:03 +05:00
Régis Behmo
02c7719c32 ci: auto-add issues and items to github project 2024-01-12 12:33:35 +01:00