diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index e8181f91..cbca45e6 100644 --- 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: