[WIP] [DO NOT REVIEW] ci: replace Cirrus CI with GitHub Actions#819
Closed
giuseppe wants to merge 2 commits into
Closed
[WIP] [DO NOT REVIEW] ci: replace Cirrus CI with GitHub Actions#819giuseppe wants to merge 2 commits into
giuseppe wants to merge 2 commits into
Commits
Commits on May 23, 2026
- andcommitted
- andcommitted
