Repository navigation

chore(make): drop broken recipes, pin dev tools, add ci to .PHONY - #1245

Merged

cristim merged 1 commit into

mainfrom

fix/hyg-05-hyg-11-fix

Jul 19, 2026

Commits on Jul 17, 2026

chore(make): drop broken recipes, pin dev tools, add ci to .PHONY
cristim
committed
283e5e6