Add report to the CI

PavlidisLab · Nov 26, 2023 · d14f0c1 · d14f0c1
1 parent 1e2617a
commit d14f0c1
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/Makefile b/Makefile
@@ -7,5 +7,6 @@ TGEMO.OBO: TGEMO.OWL
 
 check: TGEMO.OWL
 	$(ROBOT) validate-profile --profile Full --input $^
+	$(ROBOT) report --fail-on error --input $^
 
 .PHONY: all check