diff options
| author | Ralf Jung <post@ralfj.de> | 2025-07-26 09:38:38 +0200 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2025-07-26 09:42:07 +0200 |
| commit | d88bdc9927ade8747484a9a8e80ac55a63dbcc40 (patch) | |
| tree | cb249b123ff6244b4f76f7c0abe7fb4349d0363d /src | |
| parent | 529564925bf67a69fb4a5ef4f87ba7ae4aaed84b (diff) | |
| download | rust-d88bdc9927ade8747484a9a8e80ac55a63dbcc40.tar.gz rust-d88bdc9927ade8747484a9a8e80ac55a63dbcc40.zip | |
CI: run apt update before installing anything
Diffstat (limited to 'src')
| -rw-r--r-- | src/tools/miri/.github/workflows/ci.yml | 4 |
1 files changed, 4 insertions, 0 deletions
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 |