Merge pull request #544 from rust-osdev/fix/kani

fix kani build job

Author: phil-opp

.github/workflows/build.yml

@@ -176,7 +176,7 @@ jobs:
         run: cargo +stable semver-checks check-release
 
   kani:
-    runs-on: ubuntu-20.04
+    runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v4
       - uses: Swatinem/rust-cache@v2