You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
chore: update batteries in manifest when creating lean-pr-testing-NNNN at Mathlib#4333
Merged
kim-em merged 1 commit intomasterleanprover/lean4:masterfrom pr-release-update-batteriesleanprover/lean4:pr-release-update-batteriesCopy head branch name to clipboardJun 4, 2024
