From d541b68479c934d1404de9ce4bf4f648c4c34255 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Martin=20Kr=C3=B6ning?=
 <martin.kroening@eonerc.rwth-aachen.de>
Date: Wed, 25 Oct 2023 11:45:23 +0200
Subject: [PATCH] ci: pin firecracker to 1.4.1
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Signed-off-by: Martin Kröning <martin.kroening@eonerc.rwth-aachen.de>
---
 .github/workflows/ci.yml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 90f70795be..a7a923210c 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -262,6 +262,9 @@ jobs:
         ARCH="$(uname -m)"
         release_url="https://github.com/firecracker-microvm/firecracker/releases"
         latest=$(basename $(curl -fsSLI -o /dev/null -w  %{url_effective} ${release_url}/latest))
+        # TODO: use the latest release once fixed:
+        # https://github.com/firecracker-microvm/firecracker/issues/4176
+        latest="v1.4.1"
         curl -L ${release_url}/download/${latest}/firecracker-${latest}-${ARCH}.tgz \
         | tar -xz