Skip to content

Merge branch 'main' into rename_CI_jobs

4d10730
Select commit
Loading
Failed to load commit list.
Merged

CI: rename build and run jobs #139

Merge branch 'main' into rename_CI_jobs
4d10730
Select commit
Loading
Failed to load commit list.