Skip to content

Simplify CI to 3 make targets#13

Merged
ejc3 merged 80 commits intomainfrom
fix/ci-simplify
Dec 26, 2025
Merged

Simplify CI to 3 make targets#13
ejc3 merged 80 commits intomainfrom
fix/ci-simplify

Commits

Commits on Dec 24, 2025

Commits on Dec 25, 2025

Commits on Dec 26, 2025