From 9527eaf3217014ede863e911ac4d39ca86e5805c Mon Sep 17 00:00:00 2001 From: Fabien Chouteau Date: Mon, 31 Aug 2020 10:58:55 +0200 Subject: [PATCH] Use GNAT Community 2020 in CI scripts (#498) --- .github/workflows/ci-macos.yml | 2 +- .github/workflows/ci-windows.yml | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/ci-macos.yml b/.github/workflows/ci-macos.yml index f955e34f..8f606ee7 100644 --- a/.github/workflows/ci-macos.yml +++ b/.github/workflows/ci-macos.yml @@ -23,7 +23,7 @@ jobs: run: git submodule update --init --recursive - name: Install toolchain - uses: ada-actions/toolchain@dev + uses: ada-actions/toolchain@ce2020 with: distrib: community diff --git a/.github/workflows/ci-windows.yml b/.github/workflows/ci-windows.yml index 0f91dcb1..0dbe8cd4 100644 --- a/.github/workflows/ci-windows.yml +++ b/.github/workflows/ci-windows.yml @@ -23,7 +23,7 @@ jobs: run: git submodule update --init --recursive - name: Install toolchain - uses: ada-actions/toolchain@dev + uses: ada-actions/toolchain@ce2020 with: distrib: community -- 2.39.5