chore: makefile

This commit is contained in:
Simon Cruanes 2025-12-04 01:08:09 -05:00
parent b64ba8fbcd
commit 1f275c21d0
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4

View file

@ -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