test: remove optimization

Open digama0 opened this issue 2 years ago • 1 comments

Split off from #2704, cc: @semorrison

Oct 24 '23 22:10 digama0

💥 Mathlib branch lean-pr-testing-2748 build failed against this PR. (2023-10-24 23:45:06) View Log

Oct 24 '23 23:10 leanprover-community-mathlib4-bot