From 6ad68af041e3f1992578ab678483bf867e3b4b2f 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:59:47 +0200
Subject: [PATCH] Refresh alire package index

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

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