From 85045589d42a6faac62d51bf24e2bd3f7d8b80bb Mon Sep 17 00:00:00 2001
From: Alejandro R Mosteo <amosteo@unizar.es>
Date: Mon, 14 Mar 2022 11:59:28 +0100
Subject: [PATCH] Ensure fresh repositories in GHA Ubuntu hosts (#478)

---
 .github/workflows/build-crate.yml | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/build-crate.yml b/.github/workflows/build-crate.yml
index abba3ed0..8bd36772 100644
--- a/.github/workflows/build-crate.yml
+++ b/.github/workflows/build-crate.yml
@@ -59,9 +59,13 @@ jobs:
         # changed files detectors (in both scripts/gh-build-crate.sh and
         # check-author action).
 
+    - name: Update system repositories
+      if: matrix.os == 'ubuntu-latest'
+      run: sudo apt update
+
     - name: Set up GNAT toolchain (FSF)
       if: matrix.os == 'ubuntu-latest'
-      uses: ada-actions/toolchain@ce2020
+      uses: ada-actions/toolchain@ce2021
       with:
         distrib: fsf # faster install?