Compare commits
1 Commits
| Author | SHA1 | Date | |
|---|---|---|---|
| 8277acee23 |
@@ -23,17 +23,24 @@ jobs:
|
|||||||
# need the full history or else grafted partial branches confuse the
|
# need the full history or else grafted partial branches confuse the
|
||||||
# changed files detector
|
# changed files detector
|
||||||
|
|
||||||
# - name: Set up GNAT toolchain (FSF)
|
|
||||||
# uses: ada-actions/toolchain@ce2020
|
|
||||||
# with:
|
|
||||||
# distrib: fsf # faster install?
|
|
||||||
|
|
||||||
- name: Set up stable `alr`
|
- name: Set up stable `alr`
|
||||||
if: contains(github.base_ref, 'stable-')
|
if: contains(github.base_ref, 'stable-')
|
||||||
uses: alire-project/setup-alire@v1
|
uses: alire-project/setup-alire@v1
|
||||||
with:
|
with:
|
||||||
toolchain: --disable-assistant # We don't need the compiler
|
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`
|
- name: Set up devel `alr`
|
||||||
if: contains(github.base_ref, 'devel-')
|
if: contains(github.base_ref, 'devel-')
|
||||||
uses: alire-project/setup-alire@v1
|
uses: alire-project/setup-alire@v1
|
||||||
@@ -43,4 +50,4 @@ jobs:
|
|||||||
|
|
||||||
- name: Diff releases
|
- name: Diff releases
|
||||||
run: scripts/diff-release.sh || true # No deal breaker if failed
|
run: scripts/diff-release.sh || true # No deal breaker if failed
|
||||||
shell: bash
|
shell: bash
|
||||||
|
|||||||
Reference in New Issue
Block a user