feat(CI): use more strict mode - #29514

feat(CI): use more strict mode#29514

grunweg wants to merge 4 commits into

leanprover-community:masterleanprover-community/mathlib4:masterfrom

grunweg:more-strict-modegrunweg/mathlib4:more-strict-modeCopy head branch name to clipboard