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