Skip to content

CHORE: update Makefile - #5

Merged
dmkjfs merged 1 commit into
dev/0.1.1from
chore/update_makefile
Oct 15, 2025
Merged

CHORE: update Makefile#5
dmkjfs merged 1 commit into
dev/0.1.1from
chore/update_makefile

rename coverage into cov

3ef0e7e
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

The logs for this run have expired and are no longer available.