Skip to content

Actions: quicknode/solana-program-examples

Actions

Kani

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
kani.yml
135 workflow runs
135 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Merge pull request #132 from quicknode/claude/idl-enum-workaround Kani #135: Commit a9245b5 pushed by mikemaccana
26s main
main
26s
Work around the Anchor 2.0.0-rc.1 IDL enum bug, and fix the one failure that was ours Kani #134: Pull request #132 opened by mikemaccana
30s claude/idl-enum-workaround
claude/idl-enum-workaround
30s
Merge pull request #131 from quicknode/claude/docs-match-implementation Kani #133: Commit 6f3c5ca pushed by mikemaccana
22s main
main
22s
Make the docs match the programs, and close the gaps nothing was checking Kani #132: Pull request #131 opened by mikemaccana
25s claude/docs-match-implementation
claude/docs-match-implementation
25s
Merge pull request #128 from quicknode/claude/workspace-lint-coverage-v2 Kani #131: Commit e0fcaa2 pushed by mikemaccana
30s main
main
30s
Merge pull request #129 from quicknode/claude/compression-tests-use-k… Kani #130: Commit c79914e pushed by mikemaccana
32s main
main
32s
Merge pull request #130 from quicknode/claude/fix-perps-v2-build Kani #129: Commit 333c226 pushed by mikemaccana
20s main
main
20s
Unbreak main: the perps v2 build, the Anchor install, and the Biome check Kani #128: Pull request #130 synchronize by mikemaccana
23s claude/fix-perps-v2-build
claude/fix-perps-v2-build
23s
Unbreak main: the perps v2 build, the Anchor install, and the Biome check Kani #127: Pull request #130 synchronize by mikemaccana
24s claude/fix-perps-v2-build
claude/fix-perps-v2-build
24s
Unbreak main: the perps v2 build, the Anchor install, and the Biome check Kani #126: Pull request #130 synchronize by mikemaccana
44s claude/fix-perps-v2-build
claude/fix-perps-v2-build
44s
Unbreak main: the perps v2 build, the Anchor install, and the Biome check Kani #125: Pull request #130 opened by mikemaccana
45s claude/fix-perps-v2-build
claude/fix-perps-v2-build
45s
compression: use solana-kite in the tests Kani #124: Pull request #129 opened by mikemaccana
23s claude/compression-tests-use-kite-v2
claude/compression-tests-use-kite-v2
23s
workspace: add the Anchor programs CI never linted, and fix the v1 file that slipped through Kani #123: Pull request #128 opened by mikemaccana
26s claude/workspace-lint-coverage-v2
claude/workspace-lint-coverage-v2
26s
Merge pull request #125 from quicknode/claude/quasar-lint-and-zeropod… Kani #122: Commit e48fbf7 pushed by mikemaccana
35s main
main
35s
Merge pull request #123 from quicknode/claude/anchor-v2-migration-d5hkh4 Kani #121: Commit 54cc8f1 pushed by mikemaccana
31s main
main
31s
anchor: port every example to Anchor v2.0.0-rc.1 Kani #120: Pull request #123 synchronize by mikemaccana
17s claude/anchor-v2-migration-d5hkh4
claude/anchor-v2-migration-d5hkh4
17s
quasar: fix the zeropod resolution and lint the crates in CI Kani #119: Pull request #125 opened by mikemaccana
30s claude/quasar-lint-and-zeropod-pin
claude/quasar-lint-and-zeropod-pin
30s
Merge pull request #124 from quicknode/claude/retire-vendored-skill Kani #118: Commit 94abbea pushed by mikemaccana
23s main
main
23s
skills: drop the vendored copy of the Solana coding skill Kani #117: Pull request #124 opened by mikemaccana
19s claude/retire-vendored-skill
claude/retire-vendored-skill
19s
Kani Kani #116: Scheduled
45m 21s main
main
45m 21s
Merge pull request #122 from quicknode/claude/solana-slot-times-docs-… Kani #115: Commit e6fc9b1 pushed by mikemaccana
27s main
main
27s
Make slots_per_year configurable instead of a constant Kani #114: Pull request #122 synchronize by mikemaccana
48s claude/solana-slot-times-docs-enb21m
claude/solana-slot-times-docs-enb21m
48s
Make slots_per_year configurable instead of a constant Kani #113: Pull request #122 opened by mikemaccana
1m 5s claude/solana-slot-times-docs-enb21m
claude/solana-slot-times-docs-enb21m
1m 5s
Kani Kani #112: Scheduled
45m 21s main
main
45m 21s
Merge pull request #121 from quicknode/claude/rename-borrow-accumulat… Kani #111: Commit 58fdf49 pushed by mikemaccana
25s main
main
25s