diff options
| author | Ralf Jung <post@ralfj.de> | 2025-07-26 08:14:10 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-07-26 08:14:10 +0000 |
| commit | 4779dd7e4d8a53544bf70726a051bb8e46d4af17 (patch) | |
| tree | cb249b123ff6244b4f76f7c0abe7fb4349d0363d | |
| parent | 529564925bf67a69fb4a5ef4f87ba7ae4aaed84b (diff) | |
| parent | d88bdc9927ade8747484a9a8e80ac55a63dbcc40 (diff) | |
| download | rust-4779dd7e4d8a53544bf70726a051bb8e46d4af17.tar.gz rust-4779dd7e4d8a53544bf70726a051bb8e46d4af17.zip | |
Merge pull request #4494 from RalfJung/ci
CI: run apt update before installing anything
| -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 |