Skip to content

Migrate pipeline from CircleCI to GitHub Actions - #168

Merged
phelma merged 2 commits into
mainfrom
gha-migration
Jul 22, 2026
Merged

Migrate pipeline from CircleCI to GitHub Actions#168
phelma merged 2 commits into
mainfrom
gha-migration

Commits

Commits on Jul 22, 2026