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

workflow pedantic cleanups

cbfce04
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

The logs for this run have expired and are no longer available.