From 3ffb2e4818f17bbe6afbbe0ee35a376e9b3af955 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Martin=20Kr=C3=B6ning?= <mkroening@posteo.net>
Date: Sat, 26 Mar 2022 19:55:40 +0100
Subject: [PATCH] Revert "[REVERT] CI: Pin RustyHermit for xtask"
This reverts commit 70e1b5a6332ce2bddc69dce59dae9e4bd5fcf054.
---
.github/workflows/aarch64.yml | 1 -
.github/workflows/x86.yml | 1 -
.gitlab-ci.yml | 1 -
3 files changed, 3 deletions(-)
diff --git a/.github/workflows/aarch64.yml b/.github/workflows/aarch64.yml
index 8648183a7..3391242df 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 dae160bfb..181227d5f 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 14021e164..ff5e60dec 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
--
GitLab