diff --git a/.github/workflows/aarch64.yml b/.github/workflows/aarch64.yml index 8ce4446626..645b09ffc7 100644 --- a/.github/workflows/aarch64.yml +++ b/.github/workflows/aarch64.yml @@ -30,6 +30,7 @@ jobs: with: repository: hermitcore/rusty-hermit submodules: true + ref: ea7377d3d616c25e6442dee041f8505280d6e317 - 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 8284751960..dc2e125420 100644 --- a/.github/workflows/x86.yml +++ b/.github/workflows/x86.yml @@ -46,6 +46,7 @@ jobs: with: repository: hermitcore/rusty-hermit submodules: true + ref: ea7377d3d616c25e6442dee041f8505280d6e317 - name: Remove libhermit-rs submodule run: git rm -r libhermit-rs - name: Checkout libhermit-rs