Commit 2025-11-24 14:11 90622c86
View on Github →perf: temporarily disable MathlibTest/propose (#32053) This test takes about six minutes in CI, making it the slowest by far the longest individual test -- and delaying the overall testing step in CI. The proper fix is to either speed up the test, or decide that the functionality it is testing (have?) is not worth keeping. This is being discussed on zulip. Until then, disable the test to keep CI at reasonable speed.