Skip to content

Move CI from Jenkins to GitHub actions - #402

Merged
4ntn merged 3 commits into
developfrom
move_ci_to_github
Sep 24, 2025
Merged

Move CI from Jenkins to GitHub actions#402
4ntn merged 3 commits into
developfrom
move_ci_to_github

Commits

Commits on Sep 23, 2025

Commits on Sep 24, 2025