[Merged by Bors] - ci: Revert cache get default behavior for skip-proofwidgets#35542

marcelolynch wants to merge 1 commit intoleanprover-community:masterleanprover-community/mathlib4:masterfrom

marcelolynch:2026/02/SkipProofWidgetsFlagmarcelolynch/mathlib4:2026/02/SkipProofWidgetsFlagCopy head branch name to clipboard