Skip to content

Complete transition to GitHub Actions for CI - #46

Merged
djc merged 3 commits into
mainfrom
extra-ci
Jun 5, 2026
Merged

Complete transition to GitHub Actions for CI#46
djc merged 3 commits into
mainfrom
extra-ci

Replace CircleCI badge with GH Actions badge

37fe440
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar