chore: remove flavor-related sanity checks#245

Merged

doudou merged 2 commits intomasterfrom

remove_flavor_sanity_checks

Nov 13, 2024

Commits on Nov 11, 2024

chore: remove flavor-related sanity checks
doudou
committed

Commits on Nov 12, 2024

chore: Also remove no longer referenced git hook script
pierrewillenbrockdfki
committed