From 56799f0c23860f14c6fd493c2ebf137d82f0244e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Nina=20Chl=C3=B3e=20Kassandra=20Rei=C3=9F?=
 <nina.reiss@nickr.eu>
Date: Wed, 10 Jun 2026 11:21:48 +0200
Subject: [PATCH] Add verification workflow

---
 .gitea/workflows/verify.yaml | 37 ++++++++++++++++++++++++++++++++++++
 1 file changed, 37 insertions(+)
 create mode 100644 .gitea/workflows/verify.yaml

diff --git a/.gitea/workflows/verify.yaml b/.gitea/workflows/verify.yaml
new file mode 100644
index 0000000..be7f87e
--- /dev/null
+++ b/.gitea/workflows/verify.yaml
@@ -0,0 +1,37 @@
+name: Alire installation and checkup
+on: [push]
+
+jobs:
+  build:
+    runs-on: ubuntu-latest
+
+    strategy:
+      matrix:
+        os: [ubuntu-20.04]
+
+    steps:
+    - name: Checkout code
+      uses: actions/checkout@v2
+
+    - name: Update system
+      run: |
+        apt-get update -qy
+
+    - name: Install dependencies
+      run: |
+        apt-get install -y wget gprbuild gnat git curl unzip
+
+    - name: setup alire
+      run: |
+        if [ "$(uname -m)" == "x86_64" ]; then
+          wget -O alr.zip https://github.com/alire-project/alire/releases/download/v2.0.2/alr-2.0.2-bin-x86_64-linux.zip
+          unzip alr.zip
+        else
+          wget -O alr https://git.nichkara.eu/yannickreiss/alire/raw/branch/main/aarch64/alr
+          mv alr /bin/alr
+        fi
+        chmod +x /bin/alr
+
+    - name: build project
+      run: |
+        /bin/alr -n build