chore: adjust workflow permissions

leanprover-community / batteries

The "batteries included" extended library for the Lean programming language and theorem prover

Apache License 2.0

250 stars 104 forks source link

Closed fgdorais closed 1 week ago

leanprover-community-bot commented 1 week ago

Mathlib CI status (docs):

✅ Mathlib branch batteries-pr-testing-1051 has successfully built against this PR. (2024-11-16 09:26:33) View Log