From 970aaad697d123bd1e2f5414cab1a6bce7fe5824 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:23:11 +0200
Subject: [PATCH] Verify in CI using gnatprove

---
 .gitea/workflows/verify.yaml | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/.gitea/workflows/verify.yaml b/.gitea/workflows/verify.yaml
index be7f87e..ac9840c 100644
--- a/.gitea/workflows/verify.yaml
+++ b/.gitea/workflows/verify.yaml
@@ -35,3 +35,7 @@ jobs:
     - name: build project
       run: |
         /bin/alr -n build
+
+    - name: project verify
+      run: |
+        /bin/alr -n gnatprove