ci: refactor maintainer_*.yml workflows to use new helper actions#35110

Open

bryangingechen wants to merge 3 commits intoleanprover-community:masterfrom

bryangingechen:refactor-maintainer-bors-merge

Commits on Feb 11, 2026

ci: refactor maintainer_*.yml workflows to use new privilege-escalation-bridge actions
bryangingechen
committed
include explicit permissions section in wf_run workflows
bryangingechen
committed
manually apply suggestions
bryangingechen
committed