From a074b895957823424202134767c75119c94801c9 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Martin=20Kr=C3=B6ning?= Date: Wed, 1 Dec 2021 23:46:15 +0100 Subject: [PATCH] [DO NOT MERGE] CI: Pin rusty-hermit to 12-01 nightly --- .github/workflows/aarch64.yml | 1 + .github/workflows/x86.yml | 1 + 2 files changed, 2 insertions(+) diff --git a/.github/workflows/aarch64.yml b/.github/workflows/aarch64.yml index 5fb9990a85..6eb8bdaeaf 100644 --- 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: d6685a4647b76f19e1399999037ffbeb76b90522 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 index 04b3a29cca..8c97890b7a 100644 --- 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: d6685a4647b76f19e1399999037ffbeb76b90522 submodules: true - name: Remove libhermit-rs submodule run: git rm -r libhermit-rs