From ac9e000c9a09a38605de097c350f4f017d30a264 Mon Sep 17 00:00:00 2001
From: "Alejandro R. Mosteo" <amosteo@unizar.es>
Date: Thu, 20 Jun 2024 18:31:10 +0200
Subject: [PATCH] Update workflow to recent practices

---
 .github/workflows/build.yml | 26 +++++++-------------------
 1 file changed, 7 insertions(+), 19 deletions(-)

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index 17b625d..a205ea2 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -11,16 +11,17 @@ jobs:
 
   build:
     name: ${{ matrix.os }}
- 
+
     runs-on: ${{ matrix.os }}
-    
+
     strategy:
       matrix:
         os:
-          - macos-latest
+          - macos-12
           - ubuntu-latest
           - windows-latest
- 
+        gnat: [10, 11, 12, 13, 14]
+
     steps:
     - name: Check out repository
       uses: actions/checkout@v1
@@ -29,22 +30,9 @@ jobs:
       run: git submodule update --init --recursive
 
     - name: Set up GNAT toolchain (FSF)
-      if: matrix.os == 'ubuntu-latest'
-      uses: ada-actions/toolchain@ce2021
-      with:
-        distrib: fsf 
-
-    - name: Set up GNAT toolchain (Community 2021)
-      if: matrix.os == 'windows-latest'
-      uses: ada-actions/toolchain@ce2021
-      with:
-        distrib: community
-
-    - name: Set up GNAT toolchain (Community 2020)
-      if: matrix.os == 'macos-latest'
-      uses: ada-actions/toolchain@ce2020
+      uses: alire-project/alr-install@v1
       with:
-        distrib: community
+        crates: gnat_native^${{matrix.gnat}} gprbuild
 
     - name: Build on demand
       run: gprbuild -j0 -p -XSEMVER_BUILD_MODE=On_Demand