lint

fixup! sw: Fix lint of void cast #3010

Sign in to view logs

Triggered via push November 27, 2024 14:55

alex96295

aottaviano/realm-eval

Status Success

Total duration 48s

Artifacts 1

lint.yml

on: push

Artifacts

Produced during runtime

Name	Size
verible-linter	164 Bytes