From 5f4923a127e7cbdcadb7aea78fad284793662873 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:56:00 +0200
Subject: [PATCH] Install gnatprove systemwide

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

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: |