diff --git a/.gitea/workflows/verify.yaml b/.gitea/workflows/verify.yaml
index 0b443b7..65ab81c 100644
--- a/.gitea/workflows/verify.yaml
+++ b/.gitea/workflows/verify.yaml
@@ -32,6 +32,7 @@ jobs:
           mv alr /bin/alr
         fi
         chmod +x /bin/alr
+        /bin/alr -n install gnatprove
 
     - name: build project
       run: |