From fec54162edb34f645ea82093e581758946343947 Mon Sep 17 00:00:00 2001 From: Alejandro R Mosteo Date: Wed, 13 Jan 2021 18:09:53 +0100 Subject: [PATCH] Fix main workflow to use proper alr for base branch (#235) * Use proper alr for the base branch * Fix: set up compiler before devel alr --- .github/workflows/main.yml | 14 +++++++++++++- 1 file changed, 13 insertions(+), 1 deletion(-) diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 49f25c7d..08e77789 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -10,7 +10,19 @@ jobs: with: repo-token: "${{ secrets.GITHUB_TOKEN }}" - - uses: alire-project/setup-alire@latest-stable + - name: Set up stable `alr` + if: contains(github.base_ref, 'stable-') + uses: alire-project/setup-alire@latest-stable + + - name: Set up GNAT for devel `alr` + if: contains(github.base_ref, 'devel-') + uses: ada-actions/toolchain@ce2020 + with: + distrib: fsf + + - name: Set up devel `alr` + if: contains(github.base_ref, 'devel-') + uses: alire-project/setup-alire@latest-devel - run: alr index --list