[Merged by Bors] - fix: allow build steps to access timezone - #28510

[Merged by Bors] - fix: allow build steps to access timezone#28510

kim-em wants to merge 4 commits into

leanprover-community:masterleanprover-community/mathlib4:masterfrom

kim-em:fix/timezone-setup-for-deprecated-linterkim-em/mathlib4:fix/timezone-setup-for-deprecated-linterCopy head branch name to clipboard