From 8ccbd18e3a3012b2148e38121a37b25ff9ea0cbe Mon Sep 17 00:00:00 2001
From: "Alejandro R. Mosteo" <amosteo@unizar.es>
Date: Mon, 15 Apr 2024 13:39:50 +0200
Subject: [PATCH] Test toolchains through `alr exec`

---
 .github/workflows/test-cache.yml | 9 ++++++---
 1 file changed, 6 insertions(+), 3 deletions(-)

diff --git a/.github/workflows/test-cache.yml b/.github/workflows/test-cache.yml
index 0a9e3a53..45d7be42 100644
--- a/.github/workflows/test-cache.yml
+++ b/.github/workflows/test-cache.yml
@@ -63,10 +63,13 @@ jobs:
           script: |
               core.setFailed('FAIL: No cache hit observed')
 
-      # Check alr and toolchains
+      # Check alr and default toolchains
       - run: alr -n version
-      - run: gnat --version
-      - run: gprbuild --version
+      - run: |
+          alr -n init alrws
+          cd alrws
+          alr exec -- gnat --version
+          alr exec -- gprbuild --version
 
       # Verify proper builds