use iverilog 13 for tests

stevej · Oct 29, 2024 · 9d61228 · 9d61228
1 parent a308ca9
commit 9d61228
Showing 1 changed file with 6 additions and 1 deletion.
diff --git a/.github/workflows/test.yaml b/.github/workflows/test.yaml
@@ -11,7 +11,12 @@ jobs:
 
       - name: Install iverilog
         shell: bash
-        run: sudo apt-get update && sudo apt-get install -y iverilog
+        run: |
+        sudo apt-get update
+        wget https://github.com/htfab/iverilog/releases/download/13.0-git-d8c3c51/iverilog_13.0-git-d8c3c51a-1_amd64.deb
+        sudo apt-get update -y
+        sudo apt-get install -y ./iverilog_13.0-git-d8c3c51a-1_amd64.deb
+
 
       # Set Python up and install cocotb
       - name: Setup python