Ben 2496c68149 Revert "speed up ci by using binary" ... This reverts commit 6b9e1a651b.		2024-05-13 11:45:29 +02:00
..
workflows	Revert "speed up ci by using binary"	2024-05-13 11:45:29 +02:00