Use official Verilator version 5.012 for testing

trosenkranz · Jul 28, 2023 · 64a2d9f · 64a2d9f
1 parent ad40890
commit 64a2d9f
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: