Skip to content

chore: move to GitHub Actions#915

Merged
philipgough merged 1 commit into
observatorium:mainfrom
andreasgerstmayr:move-to-gha
Jul 15, 2026
Merged

chore: move to GitHub Actions#915
philipgough merged 1 commit into
observatorium:mainfrom
andreasgerstmayr:move-to-gha

Commits

Commits on Jul 13, 2026