Skip to content

Fix CI: use Makefile targets and fix formatting #100

Fix CI: use Makefile targets and fix formatting

Fix CI: use Makefile targets and fix formatting #100