diff --git a/.gitea/workflows/verify.yaml b/.gitea/workflows/verify.yaml
index d312882..3c732f8 100644
--- a/.gitea/workflows/verify.yaml
+++ b/.gitea/workflows/verify.yaml
@@ -33,7 +33,7 @@ jobs:
         fi
         chmod +x /bin/alr
         /bin/alr index --update-all
-        /bin/alr -n install gnatprove
+        /bin/alr install gnatprove
 
     - name: build project
       run: |