Skip to content

Add GitHub CI workflow#1

Merged
philpennock merged 2 commits into
mainfrom
pdp/check-ci-workflow
Mar 23, 2026
Merged

Add GitHub CI workflow#1
philpennock merged 2 commits into
mainfrom
pdp/check-ci-workflow

Commits

Commits on Mar 23, 2026