From b093430d61bd412e3e2da4ee8f057f729cf13b4a Mon Sep 17 00:00:00 2001 From: Alejandro R Mosteo Date: Thu, 11 Feb 2021 12:04:14 +0100 Subject: [PATCH] Temporary workaround for the main CI workflow (#249) --- .github/workflows/main.yml | 15 ++++++++++----- 1 file changed, 10 insertions(+), 5 deletions(-) diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 6c05baac..5ae85f22 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -10,20 +10,25 @@ jobs: with: repo-token: "${{ secrets.GITHUB_TOKEN }}" - - name: Set up stable `alr` - if: contains(github.base_ref, 'stable-') - uses: alire-project/setup-alire@latest-stable +# begin temporary workaround until 1.0 release +# We need to test with the latest rc candidate + +# - 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-') +# 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-') +# if: contains(github.base_ref, 'devel-') uses: alire-project/setup-alire@latest-devel +# end temporary workaround + - run: alr index --list - run: alr index --add=. --name=local_index