From a56cd5c0737ec6eaccf91e7dd3e716e332e9cb5d 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