4 Commits

Author SHA1 Message Date
Dario Nieuwenhuis
0850f3b537 Update Rust. 2025-09-22 01:49:39 +02:00
Melvin Wang
e19c3a0204 disable ui tests in miri 2025-06-18 16:20:50 -07:00
Melvin Wang
3a43292097 commit expected errors 2025-06-18 16:16:12 -07:00
Melvin Wang
905aed45f9 add tests illustrating the problem 2025-06-18 15:37:05 -07:00