From d14f0c1dcf1352933ac4f6573468d24bdc963c37 Mon Sep 17 00:00:00 2001
From: Guillaume Poirier-Morency <guillaumepoiriermorency@gmail.com>
Date: Sun, 26 Nov 2023 10:41:16 -0800
Subject: [PATCH] Add report to the CI

---
 Makefile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Makefile b/Makefile
index ba88c60..1ac2ffa 100644
--- 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