Report GNAT in use 1st hand

alire-project · Jun 27, 2024 · 1704138 · 1704138
1 parent df55852
commit 1704138
Showing 1 changed file with 2 additions and 0 deletions.
diff --git 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.