From 4a6fddc7c1b99167641c0fce9f96c497123795bb Mon Sep 17 00:00:00 2001 From: Alejandro R Mosteo Date: Tue, 24 May 2022 20:41:45 +0200 Subject: [PATCH] Fix action used to set up alr (#525) --- .github/workflows/main.yml | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index db3d836c..4efdb082 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -12,7 +12,7 @@ jobs: - name: Set up stable `alr` if: contains(github.base_ref, 'stable-') - uses: alire-project/setup-alire@latest-stable + uses: alire-project/setup-alire@v1 - name: Set up GNAT for devel `alr` if: contains(github.base_ref, 'devel-') @@ -22,7 +22,9 @@ jobs: - name: Set up devel `alr` if: contains(github.base_ref, 'devel-') - uses: alire-project/setup-alire@latest-devel + uses: alire-project/setup-alire@v1 + with: + branch: master - run: alr index --list