From 1f275c21d057b4300c247b2af580c0db5e78e822 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Thu, 4 Dec 2025 01:08:09 -0500 Subject: [PATCH] chore: makefile --- Makefile | 3 +++ 1 file changed, 3 insertions(+) diff --git a/Makefile b/Makefile index 4291a68f..f6d2cc6d 100644 --- a/Makefile +++ b/Makefile @@ -13,6 +13,9 @@ clean: protoc-gen: FORCE_GENPROTO=true dune build @lint +update-submodules: + git submodule update --init + format: @dune build @fmt --auto-promote