reviewdog

[SMT] Updated smt release from v0.9.2 -> v0.10.2 #1604

Sign in to view logs

Triggered via pull request April 10, 2024 23:47

okdas

synchronize #472

issues/462/update_smt_release

Status Success

Total duration 25s

Artifacts –

reviewdog.yml

on: pull_request

Check TODO_IN_THIS_

Check stdlog in off-chain source code

Check for non-standard interface implementation statements

Check misspelling