Skip to content

Add version management and enhance GitHub Actions workflow#2

Merged
marwaneltoukhy merged 5 commits intomainfrom
makefile_porting
Jan 19, 2026
Merged

Add version management and enhance GitHub Actions workflow#2
marwaneltoukhy merged 5 commits intomainfrom
makefile_porting

Commits

Commits on Jan 19, 2026