3 Commits

Author SHA1 Message Date
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