Skip to content

ci/add workflows and makefile#2

Merged
alessandrostone merged 3 commits intomainfrom
ci/add-workflows-and-makefile
Nov 18, 2025
Merged

ci/add workflows and makefile#2
alessandrostone merged 3 commits intomainfrom
ci/add-workflows-and-makefile

Commits

Commits on Nov 17, 2025