Add report to the CI

PavlidisLab · Nov 26, 2023 · 24f660b · 24f660b
1 parent 1e2617a
commit 24f660b
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 --fails-on error --input $^
 
 .PHONY: all check