Repository navigation

Migrate pipeline from CircleCI to GitHub Actions - #275

Merged

phelma merged 1 commit into

mainfrom

Jul 22, 2026

Commits on Jul 22, 2026
- migrate pipeline from circleci to github actions
  phelma
  committed
  d3ba489