chore: makefile

This commit is contained in:
Simon Cruanes 2025-12-04 01:08:09 -05:00
parent 2dc836b7b4
commit a56cd5c073
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