diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 6298467a83..49ae141b85 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -20,6 +20,7 @@ jobs:
     - name: Get specific submodule hash
       id: core-v-submodule-hash
       run: |
+        source ci/install-prereq.sh
         cd verif/core-v-verif
         echo "hash=$(git rev-parse HEAD)" >> $GITHUB_OUTPUT
 
diff --git a/ci/install-prereq.sh b/ci/install-prereq.sh
index e938f3dbbc..e7df045ddc 100644
--- a/ci/install-prereq.sh
+++ b/ci/install-prereq.sh
@@ -1,6 +1,7 @@
 #!/bin/bash
 
-echo 'deb http://download.opensuse.org/repositories/home:/phiwag:/edatools/xUbuntu_20.04/ /' | sudo tee /etc/apt/sources.list.d/home:phiwag:edatools.list
+echo 'deb http://download.opensuse.org/repositories/home:/phiwag:/edatools/Debian_Unstable/ /' | sudo tee /etc/apt/sources.list.d/home:phiwag:edatools.list
+curl -fsSL https://download.opensuse.org/repositories/home:phiwag:edatools/Debian_Unstable/Release.key | gpg --dearmor | sudo tee /etc/apt/trusted.gpg.d/home_phiwag_edatools.gpg > /dev/null
 
 sudo apt update
 sudo apt install device-tree-compiler libfl-dev help2man