add profiles

This commit is contained in:
🪞👃🪞 2025-03-15 17:15:27 +02:00
parent e73bd0a73a
commit 28f9220e6c
2 changed files with 10 additions and 0 deletions

View file

@ -13,3 +13,6 @@ cov-md-ci:
{{covfig}} time grcov . -s . {{grcov-binary}} {{grcov-ignore}} -t markdown | sort
doc:
cargo doc
build-release:
time cargo build -j4 --release