CI: Install uhyve with --locked

.github/workflows/ci.yml

@@ -64,7 +64,7 @@ jobs:
     - name: Build dev profile
       run: cargo build -Zbuild-std=core,alloc,std,panic_abort --target x86_64-unknown-hermit --package rusty_demo
     - name: Install uhyve
-      run: cargo install uhyve
+      run: cargo install --locked uhyve
     - name: Check KVM availability
       shell: bash
       run: |

Dockerfile

@@ -36,7 +36,7 @@ RUN set -eux; \
 # Build dependencies with stable toolchain channel
 FROM rust:bullseye as stable-deps
 RUN set -eux; \
-    cargo install uhyve;
+    cargo install --locked uhyve;
 
 # Install dependencies
 FROM hermit-toolchain as ci-runner