Skip to content
Kani

Work around the Anchor 2.0.0-rc.1 IDL enum bug, and fix the one failure that was ours #134

Sign in to view logs

Work around the Anchor 2.0.0-rc.1 IDL enum bug, and fix the one failure that was ours

Work around the Anchor 2.0.0-rc.1 IDL enum bug, and fix the one failure that was ours #134

Triggered via pull request August 20, 2026 18:37
@mikemaccanamikemaccana
opened #132
claude/idl-enum-workaround
Status Success
Total duration 30s
Artifacts –

kani.yml

on: pull_request
Matrix: unit-tests
Matrix: verify
Fit to window
Zoom out
Zoom in