From 1704138617711a9eb5559d58471006ed5b2d19fd Mon Sep 17 00:00:00 2001
From: "Alejandro R. Mosteo" <amosteo@unizar.es>
Date: Thu, 27 Jun 2024 20:39:12 +0200
Subject: [PATCH] Report GNAT in use 1st hand

---
 action.yml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/action.yml b/action.yml
index 898a3898..4774ea42 100644
--- a/action.yml
+++ b/action.yml
@@ -179,6 +179,8 @@ runs:
         which alr
         alr --version
         { alr index --update-all >/dev/null && echo "Index refreshed"; } || echo "Index refresh failed"
+        echo "Using gnat: $(alr exec -- which gnat)"
+        echo "$(alr exec -- gnat --version)"
 
     # Save cache early so we can verify its proper working in a test workflow. Otherwise
     # it's not saved until workflow completion and by then it's too late.