Merge pull request svunit#249 from svunit/use-official-verilator-vers…

…ion-5.012-for-testing Use official Verilator version 5.012 for testing
trosenkranz · Jul 28, 2023 · 205b040 · 205b040
2 parents ad40890 + 64a2d9f
commit 205b040
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -3,7 +3,7 @@ name: CI
 on: [push, pull_request]
 
 env:
-  VERILATOR_VERSION: 444020f
+  VERILATOR_VERSION: v5.012
 
 jobs:
   build: