Merge pull request #1309 from hermit-os/mio-ci

Revert "ci: workaround bad mio branch"

Author: mkroening

.github/workflows/ci.yml

@@ -183,10 +183,6 @@ jobs:
         if: matrix.arch == 'x86_64'
       - run: cargo +stable install cargo-careful
         if: matrix.profile == 'dev'
-      # FIXME: mio branch `v0.8.x` mio broke from `f5d912e7` to `a8a5c5bb`
-      # See https://github.com/hermit-os/kernel/actions/runs/9242628556/job/25489845418
-      - run: cargo update -p mio --precise f5d912e7
-        working-directory: .
       - run: cargo xtask ci qemu --arch ${{ matrix.arch }} --profile ${{ matrix.profile }} --package hello_world
       - run: cargo xtask ci qemu --arch ${{ matrix.arch }} --profile ${{ matrix.profile }} --package hello_world --no-default-features --microvm
         if: matrix.arch == 'x86_64'