Skip to content

Migrate pipeline from CircleCI to GitHub Actions - #140

Merged
phelma merged 1 commit into
mainfrom
gha-migration
Jul 22, 2026
Merged

Migrate pipeline from CircleCI to GitHub Actions#140
phelma merged 1 commit into
mainfrom
gha-migration

migrate pipeline from circleci to github actions

752fc7a
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar