From c67efb9193ffe59532788c4296e4d2d63bcf538e Mon Sep 17 00:00:00 2001
From: "Alejandro R. Mosteo" <amosteo@unizar.es>
Date: Wed, 14 Feb 2024 10:44:55 +0100
Subject: [PATCH] Explicitly check all GCC versions we want

---
 .github/workflows/ci-toolchain.yml | 9 +++++++--
 1 file changed, 7 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/ci-toolchain.yml b/.github/workflows/ci-toolchain.yml
index 7e415c480..0f4cecc6d 100644
--- a/.github/workflows/ci-toolchain.yml
+++ b/.github/workflows/ci-toolchain.yml
@@ -14,7 +14,7 @@ jobs:
 
   build:
 
-    name: ${{ matrix.os }}
+    name: ${{ matrix.os }} gcc^${{ matrix.gcc_version }}
 
     runs-on: ${{ matrix.os }}
 
@@ -25,6 +25,11 @@ jobs:
           - macos-latest
           - ubuntu-latest
           - windows-latest
+        gcc_version:
+          - 10
+          - 11
+          - 12
+          - 13
 
     steps:
     - name: Check out
@@ -37,7 +42,7 @@ jobs:
     - name: Install FSF toolchain
       uses: alire-project/alr-install@v1
       with:
-        crates: gnat_native gprbuild
+        crates: gnat_native^${{matrix.gcc_version}} gprbuild
 
     - name: Build alr with default toolchain
       shell: bash