diff --git a/.github/workflows/aarch64.yml b/.github/workflows/aarch64.yml index 8648183a746aa246bbaf6015b5f231ea4da515af..3391242dfde28b15a54c3218f8036bec5ea55088 100644 --- a/.github/workflows/aarch64.yml +++ b/.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 diff --git a/.github/workflows/x86.yml b/.github/workflows/x86.yml index dae160bfb4b4b1b3fc14e335c2e04adb9d5964ad..181227d5f67e54170b8dc7fb4d8e8f4ba5764c9a 100644 --- a/.github/workflows/x86.yml +++ b/.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 diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 14021e16433fd7033d56116b5f773a273e4a00e8..ff5e60dec9ff6c371c6be27bffea7b10620e1efe 100644 --- a/.gitlab-ci.yml +++ b/.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