From cb4e29eab809a012313a92ed0fd35840e152596a 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 | 28 ++++++++--------------------
 1 file changed, 8 insertions(+), 20 deletions(-)

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index 17b625d..115ee8f 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -10,17 +10,18 @@ on:
 jobs:
 
   build:
-    name: ${{ matrix.os }}
- 
+    name: ${{ matrix.os }} / GNAT ${{ matrix.gnat }}
+
     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