Skip to content

Migrate to Makefile workflows#95

Merged
joncinque merged 2 commits into
mainfrom
makefile-migration
Oct 14, 2025
Merged

Migrate to Makefile workflows#95
joncinque merged 2 commits into
mainfrom
makefile-migration

Commits

Commits on Oct 14, 2025