[DO NOT MERGE] CI: Pin rusty-hermit to nightly-2021-11-01

mkroening · Dec 4, 2021 · 9fcbce3 · 9fcbce3
1 parent c68c598
commit 9fcbce3
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 0 deletions.
diff --git a/.github/workflows/aarch64.yml b/.github/workflows/aarch64.yml
@@ -27,6 +27,7 @@ jobs:
         uses: actions/checkout@v2
         with:
           repository: hermitcore/rusty-hermit
+          ref: f9353cec7afa983720bdd3f4fa3bbf262b65b5d3
           submodules: true
       - name: Remove libhermit-rs submodule
         run: git rm -r libhermit-rs

diff --git a/.github/workflows/x86.yml b/.github/workflows/x86.yml
@@ -27,6 +27,7 @@ jobs:
         uses: actions/checkout@v2
         with:
           repository: hermitcore/rusty-hermit
+          ref: f9353cec7afa983720bdd3f4fa3bbf262b65b5d3
           submodules: true
       - name: Remove libhermit-rs submodule
         run: git rm -r libhermit-rs