Skip to content

ci: Use correct branch on merge to main#564

Merged
baptistegrimaud merged 1 commit intomainfrom
fix-on-merge-to-main
Nov 17, 2025
Merged

ci: Use correct branch on merge to main#564
baptistegrimaud merged 1 commit intomainfrom
fix-on-merge-to-main

Commits

Commits on Nov 17, 2025