Skip to content

ci: migrate pipeline from Jenkins to GitHub Actions#17

Merged
jeanpierrefortune merged 5 commits intomainfrom
jenkins-to-github-actions
Jun 30, 2025
Merged

ci: migrate pipeline from Jenkins to GitHub Actions#17
jeanpierrefortune merged 5 commits intomainfrom
jenkins-to-github-actions