ci: add github actions for pull requests automated checks#4
Merged
guilhem-sante merged 1 commit intomainfrom May 29, 2025
Merged
ci: add github actions for pull requests automated checks#4guilhem-sante merged 1 commit intomainfrom
guilhem-sante merged 1 commit intomainfrom