3 Commits

Author	SHA1	Message	Date
Laurenz	a1f263862c	Change type repr to short name (#5788)	2025-01-31 09:56:49 +00:00
Laurenz	16e67f8bea	Shrink tests (#4967)	2024-09-16 14:41:18 +00:00
Laurenz	020294fca9	Better test runner (#3922)	2024-04-13 08:39:45 +00:00