chore: adaptations for leanprover/lean4#2778#8284
Closed
kim-em wants to merge 12 commits intonightly-testing-2023-11-08from lean-pr-testing-2778
+225-463
Commits
Commits on Nov 9, 2023
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Nov 10, 2023
- committed
