Skip to content

new build, test and release workflow; makefile refactor; fixes to guarantee cross-platform compatibility#1

Merged
marcobambini merged 105 commits intomainfrom
update-build-pipeline
May 22, 2025
Merged

new build, test and release workflow; makefile refactor; fixes to guarantee cross-platform compatibility#1
marcobambini merged 105 commits intomainfrom
update-build-pipeline

Commits

Commits on May 16, 2025

Commits on May 19, 2025

Commits on May 20, 2025

Commits on May 21, 2025