Commit Graph

2 Commits

Author SHA1 Message Date
Hamish Knight
0a71a90af1 [test] Switch to %batch-code-completion in a few tests 2024-06-08 11:50:19 +01:00
Alex Hoppen
c00428a1f4 [IDE] New test cases that were failing at some point during solver-based migration 2023-07-07 19:51:01 +02:00