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$")