From dfacf8653719d7c643552f117a8854af2e48cea4 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Nina=20Chl=C3=B3e=20Kassandra=20Rei=C3=9F?=
 <nina.reiss@nickr.eu>
Date: Thu, 11 Jun 2026 15:45:30 +0200
Subject: [PATCH] Print gnatprove report in CI

---
 .gitea/workflows/verify.yaml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.gitea/workflows/verify.yaml b/.gitea/workflows/verify.yaml
index e477c9e..562bca6 100644
--- a/.gitea/workflows/verify.yaml
+++ b/.gitea/workflows/verify.yaml
@@ -39,4 +39,4 @@ jobs:
 
     - name: project verify
       run: |
-        /bin/alr -n gnatprove
+        /bin/alr gnatprove; cat $(find . | grep "out$")