Jörg Thalheim be78e65b11 pre-commit: allow treefmt cache ... cache should work now and speeds up things		2023-08-24 16:26:03 +02:00
..
ci	add ci script to parallize evaluation	2023-08-24 15:00:21 +02:00
pre-commit	pre-commit: allow treefmt cache	2023-08-24 16:26:03 +02:00