Skip to content

chore: migrate CI from Jenkins to GitHub Actions#8

Merged
andrei-cristea merged 2 commits into
mainfrom
ci
Jul 4, 2025
Merged

chore: migrate CI from Jenkins to GitHub Actions#8
andrei-cristea merged 2 commits into
mainfrom
ci

chore: migrate CI from Jenkins to GitHub Actions

9be7c5b
Select commit
Loading
Failed to load commit list.