Update diff-release.yml

This commit is contained in:
Fabien Chouteau
2022-05-03 15:27:24 +02:00
committed by GitHub
parent 72cf7397e6
commit 8277acee23
+13 -6
View File
@@ -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