Update diff-release.yml (#513)
This commit is contained in:
@@ -23,17 +23,24 @@ jobs:
|
||||
# need the full history or else grafted partial branches confuse the
|
||||
# changed files detector
|
||||
|
||||
# - name: Set up GNAT toolchain (FSF)
|
||||
# uses: ada-actions/toolchain@ce2020
|
||||
# with:
|
||||
# distrib: fsf # faster install?
|
||||
|
||||
- name: Set up stable `alr`
|
||||
if: contains(github.base_ref, 'stable-')
|
||||
uses: alire-project/setup-alire@v1
|
||||
with:
|
||||
toolchain: --disable-assistant # We don't need the compiler
|
||||
|
||||
- name: Set up GNAT toolchain (FSF)
|
||||
if: (matrix.os == 'ubuntu-latest') && (contains(github.base_ref, 'devel-'))
|
||||
uses: ada-actions/toolchain@ce2020
|
||||
with:
|
||||
distrib: fsf # faster install?
|
||||
|
||||
- name: Set up GNAT toolchain (Community)
|
||||
if: (matrix.os != 'ubuntu-latest') && (contains(github.base_ref, 'devel-'))
|
||||
uses: ada-actions/toolchain@ce2020
|
||||
with:
|
||||
distrib: community
|
||||
|
||||
- name: Set up devel `alr`
|
||||
if: contains(github.base_ref, 'devel-')
|
||||
uses: alire-project/setup-alire@v1
|
||||
@@ -43,4 +50,4 @@ jobs:
|
||||
|
||||
- name: Diff releases
|
||||
run: scripts/diff-release.sh || true # No deal breaker if failed
|
||||
shell: bash
|
||||
shell: bash
|
||||
|
||||
Reference in New Issue
Block a user