diff --git a/.gitea/workflows/verify.yaml b/.gitea/workflows/verify.yaml
index 65ab81c..d312882 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 index --update-all
         /bin/alr -n install gnatprove
 
     - name: build project