The CI job deploying the Docker container for release v5.034 seems to have failed: https://github.com/verilator/verilator/actions/runs/13510096374 Assuming it's a spurious failure, would it be possible to relaunch this? Best, Luca Colagrande