Skip to content

Actions: quicknode/solana-program-examples

Actions

Kani

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
kani.yml
87 workflow runs
87 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 #112 from quicknode/claude/vault-strategy-indexing… Kani #87: Commit b4355e0 pushed by mikemaccana
22s main
main
22s
vault-strategy: rename WhitelistEntry to ApprovedAsset (Anchor and Quasar) Kani #86: Pull request #112 opened by mikemaccana
21s claude/vault-strategy-indexing-jw34h7
claude/vault-strategy-indexing-jw34h7
21s
Kani Kani #85: Scheduled
45m 19s main
main
45m 19s
Kani Kani #84: Manually run by mikemaccana
21m 43s claude/solana-examples-ci-failures-de67pd
claude/solana-examples-ci-failures-de67pd
21m 43s
Merge pull request #111 from quicknode/claude/solana-examples-ci-fail… Kani #83: Commit 0017870 pushed by mikemaccana
22s main
main
22s
Tighten Kani proof bounds for solver tractability Kani #82: Pull request #111 opened by mikemaccana
24s claude/solana-examples-ci-failures-de67pd
claude/solana-examples-ci-failures-de67pd
24s
Kani Kani #81: Manually run by mikemaccana
45m 23s claude/solana-examples-ci-failures-de67pd
claude/solana-examples-ci-failures-de67pd
45m 23s
prop-amm: retune walkthrough trade to 5 NVDAx to match the book's wallet convention Kani #80: Pull request #109 synchronize by mikemaccana
23s claude/solana-fintech-book-toc-rz4lpd
claude/solana-fintech-book-toc-rz4lpd
23s
Merge pull request #109 from quicknode/claude/solana-fintech-book-toc… Kani #79: Commit f5100c7 pushed by mikemaccana
25s main
main
25s
Merge pull request #110 from quicknode/claude/solana-examples-discove… Kani #78: Commit 062cb3f pushed by mikemaccana
21s main
main
21s
Kani Kani #77: Scheduled
6h 0m 21s main
main
6h 0m 21s
docs: FAQ sections, searchable finance README titles, and llms.txt Kani #76: Pull request #110 synchronize by mikemaccana
20s claude/solana-examples-discoverability-wo9rd9
claude/solana-examples-discoverability-wo9rd9
20s
docs: FAQ sections, searchable finance README titles, and llms.txt Kani #75: Pull request #110 opened by mikemaccana
22s claude/solana-examples-discoverability-wo9rd9
claude/solana-examples-discoverability-wo9rd9
22s
prop-amm: retune walkthrough trade to 5 NVDAx to match the book's wallet convention Kani #74: Pull request #109 opened by mikemaccana
21s claude/solana-fintech-book-toc-rz4lpd
claude/solana-fintech-book-toc-rz4lpd
21s
Merge pull request #108 from quicknode/claude/solana-fintech-book-toc… Kani #73: Commit 2b1c41e pushed by mikemaccana
22s main
main
22s
prop-amm: add oracle-quoted proprietary AMM example Kani #72: Pull request #108 opened by mikemaccana
20s claude/solana-fintech-book-toc-rz4lpd
claude/solana-fintech-book-toc-rz4lpd
20s
Merge pull request #106 from quicknode/claude/finance-changelogs Kani #71: Commit 16a7ddc pushed by mikemaccana
20s main
main
20s
Merge pull request #107 from quicknode/claude/solana-fintech-book-toc… Kani #70: Commit 478c5c4 pushed by mikemaccana
23s main
main
23s
token-fundraiser: let a maker retire a failed raise and raise again Kani #69: Pull request #107 synchronize by mikemaccana
20s claude/solana-fintech-book-toc-rz4lpd
claude/solana-fintech-book-toc-rz4lpd
20s
token-fundraiser: let a maker retire a failed raise and raise again Kani #68: Pull request #107 opened by mikemaccana
21s claude/solana-fintech-book-toc-rz4lpd
claude/solana-fintech-book-toc-rz4lpd
21s
docs: add a CHANGELOG.md to every example program Kani #67: Pull request #106 synchronize by mikemaccana
46s claude/finance-changelogs
claude/finance-changelogs
46s
docs: add a CHANGELOG.md to every example program Kani #66: Pull request #106 synchronize by mikemaccana
20s claude/finance-changelogs
claude/finance-changelogs
20s
docs: add a CHANGELOG.md to every example program Kani #65: Pull request #106 synchronize by mikemaccana
20s claude/finance-changelogs
claude/finance-changelogs
20s
Merge pull request #105 from quicknode/claude/harden-weak-tests Kani #64: Commit 5939a69 pushed by mikemaccana
21s main
main
21s
test(hello-solana): assert the greeting log instead of only tx success Kani #63: Pull request #105 synchronize by mikemaccana
21s claude/harden-weak-tests
claude/harden-weak-tests
21s