Merge #400

400: Revert "[REVERT] CI: Pin RustyHermit for xtask" r=mkroening a=mkroening

This reverts commit 70e1b5a6.

Co-authored-by: Martin Kröning <mkroening@posteo.net>

.github/workflows/aarch64.yml

@@ -28,7 +28,6 @@ jobs:
         with:
           repository: hermitcore/rusty-hermit
           submodules: true
-          ref: 04ca4407fd6823972a6950e3d59a157208be4f00
       - name: Remove libhermit-rs submodule
         run: git rm -r libhermit-rs
       - name: Checkout libhermit-rs

.github/workflows/x86.yml

@@ -44,7 +44,6 @@ jobs:
         with:
           repository: hermitcore/rusty-hermit
           submodules: true
-          ref: 04ca4407fd6823972a6950e3d59a157208be4f00
       - name: Remove libhermit-rs submodule
         run: git rm -r libhermit-rs
       - name: Checkout libhermit-rs

.gitlab-ci.yml

@@ -37,7 +37,6 @@ build:demo:
     - if [ -d "$HOME/tmp_libhermit-rs/target" ]; then rm -rf $HOME/tmp_libhermit-rs/target; fi
     - git clone https://github.com/hermitcore/rusty-hermit.git
     - cd rusty-hermit
-    - git checkout 04ca4407fd6823972a6950e3d59a157208be4f00
     - echo "rusty-hermit at commit $(git rev-parse HEAD)"
     # Ensure that libhermit-rs is empty - This shouldn't be necessary since we don't initialize the submodules
     # But let's do it anyway to be safe