HACK: Use my hermit-rs fork in CI

Signed-off-by: Jens Reidel <adrian@travitia.xyz>

Author: Gelbpunkt

.github/workflows/benchmark.yml

@@ -25,7 +25,8 @@ jobs:
       - name: Checkout hermit-rs
         uses: actions/checkout@v4
         with:
-          repository: hermit-os/hermit-rs
+          repository: Gelbpunkt/hermit-rs
+          ref: virtio-net-optional
       - name: Checkout hermit-kernel
         uses: actions/checkout@v4
         with:

.github/workflows/ci.yml

@@ -134,7 +134,8 @@ jobs:
       - name: Checkout hermit-rs
         uses: actions/checkout@v4
         with:
-          repository: hermit-os/hermit-rs
+          repository: Gelbpunkt/hermit-rs
+          ref: virtio-net-optional
       - name: Checkout hermit-kernel
         uses: actions/checkout@v4
         with: