From d88bdc9927ade8747484a9a8e80ac55a63dbcc40 Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Sat, 26 Jul 2025 09:38:38 +0200
Subject: CI: run apt update before installing anything

---
 src/tools/miri/.github/workflows/ci.yml | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'src')

diff --git a/src/tools/miri/.github/workflows/ci.yml b/src/tools/miri/.github/workflows/ci.yml
index e2e81370c60..c47f9695624 100644
--- a/src/tools/miri/.github/workflows/ci.yml
+++ b/src/tools/miri/.github/workflows/ci.yml
@@ -52,6 +52,10 @@ jobs:
       HOST_TARGET: ${{ matrix.host_target }}
     steps:
       - uses: actions/checkout@v4
+      - name: apt update
+        if: ${{ startsWith(matrix.os, 'ubuntu') }}
+        # The runners seem to have outdated apt repos sometimes
+        run: sudo apt update
       - name: install qemu
         if: ${{ matrix.qemu }}
         run: sudo apt install qemu-user qemu-user-binfmt
-- 
cgit 1.4.1-3-g733a5