ci: add a working CI gate - #698
Open
alexisLefebvre wants to merge 12 commits into
Open
Commits
Commits on Aug 11, 2026
- andcommitted
- andcommitted
- andcommitted
- andcommitted
- authored andcommitted
- authored andcommitted
- authored andcommitted
- andcommitted
- andcommitted
- andcommitted
- andcommitted
- andcommitted