Merge branch 'use-dune' of github.com:bh2smith/dune-sync into use-dune

bh2smith · Oct 13, 2024 · 3342edb · 3342edb
2 parents 5770b8d + d0ff94d
commit 3342edb
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/Makefile b/Makefile
@@ -25,7 +25,6 @@ lint:
 check:
 	make fmt
 	make lint
-	#make types
 
 run:
 	python -m src.main