feat: prove CNFA.{ofFSM, msbSet} #60
Triggered via pull request
December 20, 2024 13:50
ineol
Status
Success
Total duration
57m 59s
Artifacts
–
performance.yml
on: pull_request
tools, scaling, and auto-generated stmts
57m 52s