ci: fix GitHub Actions permissions and workflow structure#27
Merged
jeanchristopheruel merged 1 commit intomainfrom Oct 23, 2025
Merged
ci: fix GitHub Actions permissions and workflow structure#27jeanchristopheruel merged 1 commit intomainfrom
jeanchristopheruel merged 1 commit intomainfrom
