4 Commits

Author SHA1 Message Date
Syed Muhammad Dawoud Sheraz Ali
8fa95c708f
build: re-add auto-add for PRs with a different target (#37) 2025-01-17 11:28:18 +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