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