Skip to content

ci: from jenkins to github action#626

Merged
hsablonniere merged 1 commit intomasterfrom ci/from_jenkins_to_gaJan 25, 2024

Commits

Commits on Jan 25, 2024