Streamline makefile and makefile.docker#1416

Merged

avivajpeyi merged 2 commits intodevfrom

cleaning_up_makefile

Aug 20, 2025

Commits on Aug 7, 2025

fix: removing redundant makefile.docker, streamline makefile
avivajpeyi
committed

Commits on Aug 19, 2025

Merge remote-tracking branch 'origin/dev' into cleaning_up_makefile
avivajpeyi
committed