Merge branch 'lean-pr-testing-11744' of github.com:leanprover-communi…

Merge branch 'lean-pr-testing-11744' of github.com:leanprover-communi… #3484