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

Address Carlos' comment

bdc5f29
Select commit
Loading
Failed to load commit list.