From ead496edb5a1d7a9ac8d42182a77e224d8f7c20a Mon Sep 17 00:00:00 2001
From: Marten Gartner <martenwallewein@web.de>
Date: Tue, 22 Mar 2022 06:26:40 +0100
Subject: [PATCH] Apply checkout of SCION spexific commit to CI

---
 .github/workflows/test.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
index 8afa50d..fa28c77 100644
--- a/.github/workflows/test.yml
+++ b/.github/workflows/test.yml
@@ -24,7 +24,7 @@ jobs:
             scion_commit=${scion_mod_version##*[ -]}
             git clone ${scion_repo} ~/scion
             cd ~/scion
-            git checkout --quiet ${scion_commit} 
+            git checkout 5883c725f74830da9becb306a1fa5cfe2fa5017a # --quiet ${scion_commit} 
     - name: Build SCION
       run: |
             # Log tool versions provided by CircleCi