Style

refactor: simplify smt valuation names and make them unique #809

Sign in to view logs

Triggered via pull request February 2, 2026 18:58

toolCHAINZ

opened #154

valuation-refactor

Status Success

Total duration 2m 43s

Artifacts –

style.yml

on: pull_request

Matrix: build