switch to Debian_Unstable, install at start

Signed-off-by: Nils Wistoff <nwistoff@iis.ee.ethz.ch>
pulp-platform · Sep 26, 2024 · ec0f91f · ec0f91f
1 parent 99583fa
commit ec0f91f
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 1 deletion.
diff --git 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
@@ -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