From 8277acee23f5e0800bf22570956ae0dcb9a96da9 Mon Sep 17 00:00:00 2001 From: Fabien Chouteau Date: Tue, 3 May 2022 15:27:24 +0200 Subject: [PATCH] Update diff-release.yml --- .github/workflows/diff-release.yml | 19 +++++++++++++------ 1 file changed, 13 insertions(+), 6 deletions(-) diff --git a/.github/workflows/diff-release.yml b/.github/workflows/diff-release.yml index b66a0fa4..4516edba 100644 --- a/.github/workflows/diff-release.yml +++ b/.github/workflows/diff-release.yml @@ -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 \ No newline at end of file + shell: bash