Commit 2026-03-26 00:56 51391b2a
View on Github →ci: add permissions to rm_set_option.yml (#37169) An oversight in #37163 and #37128. See failure log: https://github.com/leanprover-community/mathlib4/actions/runs/23543770364
ci: add permissions to rm_set_option.yml (#37169) An oversight in #37163 and #37128. See failure log: https://github.com/leanprover-community/mathlib4/actions/runs/23543770364