switch to Debian_Unstable, install at start

Signed-off-by: Nils Wistoff <[email protected]>

.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
 

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