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

chore: move to GitHub Actions

9bbada6
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
lint
succeeded Jul 13, 2026 in 4m 31s