Temporary workaround for the main CI workflow (#249)
This commit is contained in:
committed by
GitHub
parent
ee6b2bdaf4
commit
b093430d61
@@ -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
|
||||
|
||||
Reference in New Issue
Block a user