Fix "Revert "Makefile: add coverage target""

This fixes commit d02c0a1.
gportay · Feb 13, 2025 · fe2e6a1 · fe2e6a1
1 parent 199cac7
commit fe2e6a1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Makefile b/Makefile
@@ -117,7 +117,7 @@ user-%:
 ci: export EXIT_ON_ERROR = 1
 ci: export DO_RMI_TESTS = 1
 ci: export DOCKER_BUILDKIT ?= 0
-ci: check coverage
+ci: check tests
 
 DO_RMI_TESTS ?=
 .PHONY: test tests