4 Commits

Author SHA1 Message Date
Syed Muhammad Dawoud Sheraz Ali
23fc21ea52 build: re-add auto-add for PRs with a different target 2025-01-16 19:08:57 +05:00
Régis Behmo
446587b788 ci: upgrade vendor actions 2024-10-03 11:16:24 +02:00
Régis Behmo
f5f11b8ef6 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
3e697590c3 ci: auto-add issues and items to github project 2024-01-12 12:33:36 +01:00