kani

feat: add M-of-N threshold controller to splitter #98

Sign in to view logs

Triggered via pull request September 5, 2026 09:24

ghg001

synchronize #420

ghg001:security/issue-349-m-of-n-threshold-controller-so-no-single-key

Status Success

Total duration 1m 2s

Artifacts –

kani.yml

on: pull_request