From 2468a94de4ca3c138a032621ee184f8edf8318ec Mon Sep 17 00:00:00 2001
From: Alejandro R Mosteo <amosteo@unizar.es>
Date: Thu, 27 Jul 2023 15:57:58 +0200
Subject: [PATCH] Fix nightly build (#1413)

---
 .github/workflows/nightly.yml | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/nightly.yml b/.github/workflows/nightly.yml
index 8ab3a854..a82ddfd0 100644
--- a/.github/workflows/nightly.yml
+++ b/.github/workflows/nightly.yml
@@ -31,10 +31,14 @@ jobs:
       with:
         submodules: true
 
+    # Until some stable alr with `alr install` is available, we cannot rely on
+    # the alr-install action, as that introduces a circular dependency. If a
+    # nightly build were to fail, there's no way to do an `alr install` anymore
+    # TODO: replace with `alr-install` once alr 2.0 is out.
     - name: Install FSF toolchain
-      uses: alire-project/alr-install@v1
+      uses: ada-actions/toolchain@ce2020
       with:
-        crates: gnat_native gprbuild
+        distrib: community
 
     - name: Install Python 3.x (required for the testsuite)
       uses: actions/setup-python@v2
-- 
2.39.5