Skip to content

.github: run build and checks on PRs - #10

Merged
morehouse merged 1 commit into
masterfrom
ci
Sep 30, 2026
Merged

morehouse merged 1 commit into
masterfrom
ci

Commits

Commits on Sep 25, 2026