Remove fix-whitespace step from the Makefile for now

jespercockx · jespercockx · commit 7e12a128ab53 · 2025-10-06T15:56:36.000+02:00
diff --git a/Makefile b/Makefile
@@ -24,7 +24,6 @@ testContainers:
 	cd ./lib/containers && ./generate-haskell.sh && cabal build containers-prop
 
 test : test/agda2hs testContainers
-	check-whitespace
 	make -C test
 
 testHtml : test/agda2hs
