From 553dd7f28b83a15477806666c93176efead618a0 Mon Sep 17 00:00:00 2001 From: Cuihtlauac Alvarado Date: Tue, 13 Jun 2023 06:38:24 +0200 Subject: [PATCH] Format playground when touching the playground --- Makefile | 1 - 1 file changed, 1 deletion(-) diff --git a/Makefile b/Makefile index 791bc3ce3b..d5d9e7f5df 100644 --- a/Makefile +++ b/Makefile @@ -51,7 +51,6 @@ doc: ## Generate odoc documentation .PHONY: fmt fmt: ## Format the codebase with ocamlformat opam exec -- dune build --root . --auto-promote @fmt - make -C playground fmt .PHONY: watch watch: ## Watch for the filesystem and rebuild on every change