Skip to content

chore: Improve Makefile interface and consistency#3

Merged
lkronecker13 merged 2 commits into
mainfrom
chore/improve-project-interface
Aug 21, 2025
Merged

chore: Improve Makefile interface and consistency#3
lkronecker13 merged 2 commits into
mainfrom
chore/improve-project-interface

fix: add sync target and update CI workflows

850826a
Select commit
Loading
Failed to load commit list.
Sign in for the full log view