From 70e1b5a6332ce2bddc69dce59dae9e4bd5fcf054 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Martin=20Kr=C3=B6ning?= <mkroening@posteo.net>
Date: Wed, 2 Mar 2022 19:36:29 +0100
Subject: [PATCH] [REVERT] CI: Pin RustyHermit for xtask
---
.github/workflows/aarch64.yml | 1 +
.github/workflows/x86.yml | 1 +
.gitlab-ci.yml | 1 +
3 files changed, 3 insertions(+)
diff --git a/.github/workflows/aarch64.yml b/.github/workflows/aarch64.yml
index 3391242df..8648183a7 100644
--- a/.github/workflows/aarch64.yml
+++ b/.github/workflows/aarch64.yml
@@ -28,6 +28,7 @@ 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 181227d5f..dae160bfb 100644
--- a/.github/workflows/x86.yml
+++ b/.github/workflows/x86.yml
@@ -44,6 +44,7 @@ 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 ff5e60dec..14021e164 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -37,6 +37,7 @@ 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
--
GitLab