feat: solana AccountInfo generators for proofs #12565
This workflow is awaiting approval from a maintainer in #4551
Triggered via pull request
February 17, 2026 02:22
kamiyo-ai
Status
Action required
Total duration
–
Artifacts
–
This workflow is awaiting approval from a maintainer in #4551
kani.yml
on: pull_request
benchcomp-tests
documentation
llbc-regression
perf
Matrix: regression
Waiting for pending jobs