Kani

Workflow runs for Kani

• Merge pull request #204 from quicknode/claude/compassionate-archimede…

  completed successfully:
  Kani#320:Commit0a5705fpushedbymikemaccana
  main

  Oct 30, 20267m 2s
  More actions for workflow run 320

• Move the Anchor v2 examples to Anchor 2.0.0-rc.2 and v1 transactions

  completed successfully:
  Kani#319:Pull request#204synchronizebymikemaccana
  claude/compassionate-archimedes-tx2eug

  Oct 29, 202622s
  More actions for workflow run 319

• Move the Anchor v2 examples to Anchor 2.0.0-rc.2 and v1 transactions

  completed successfully:
  Kani#318:Pull request#204openedbymikemaccana
  claude/compassionate-archimedes-tx2eug

  Oct 29, 202636s
  More actions for workflow run 318

• Kani

  cancelled:
  Kani#317:Scheduled
  main

  Oct 26, 202645m 19s
  More actions for workflow run 317

• Kani

  cancelled:
  Kani#316:Scheduled
  main

  Oct 19, 202645m 18s
  More actions for workflow run 316

• Revise Quicknode guide note in README

  completed successfully:
  Kani#315:Commita93cb60pushedbymikemaccana
  main

  Oct 16, 202621s
  More actions for workflow run 315

• fix bad link

  completed successfully:
  Kani#314:Commit0a1b63epushedbymikemaccana
  main

  Oct 16, 202624s
  More actions for workflow run 314

• Fix bad edit

  completed successfully:
  Kani#313:Commite2b7726pushedbymikemaccana
  main

  Oct 16, 202623s
  More actions for workflow run 313

• Tighten README

  completed successfully:
  Kani#312:Commit92cdda8pushedbymikemaccana
  main

  Oct 16, 202619s
  More actions for workflow run 312

• Clarify LiteSVM tests description in README

  completed successfully:
  Kani#311:Commit46197a2pushedbymikemaccana
  main

  Oct 15, 202621s
  More actions for workflow run 311

• Merge pull request #203 from quicknode/mikemaccana-patch-9

  completed successfully:
  Kani#310:Commit1bbf9c4pushedbymikemaccana
  main

  Oct 15, 202621s
  More actions for workflow run 310

• Add reference to book, remove ethereum reference

  completed successfully:
  Kani#309:Pull request#203openedbymikemaccana
  mikemaccana-patch-9

  Oct 15, 202623s
  More actions for workflow run 309

• Merge pull request #202 from quicknode/claude/compassionate-bohr-2k3jus

  completed successfully:
  Kani#308:Commit8ee7387pushedbymikemaccana
  main

  Oct 15, 202635s
  More actions for workflow run 308

• Move the Anchor v1 examples to Anchor 1.2.1

  completed successfully:
  Kani#307:Pull request#202openedbymikemaccana
  claude/compassionate-bohr-2k3jus

  Oct 15, 202637s
  More actions for workflow run 307

• remove irrelevant comment

  completed successfully:
  Kani#306:Commitad7bfc9pushedbymikemaccana
  main

  Oct 15, 202654s
  More actions for workflow run 306

• Merge pull request #201 from quicknode/claude/solana-transaction-v1-l…

  completed successfully:
  Kani#305:Commit30a19c0pushedbymikemaccana
  main

  Oct 15, 202629s
  More actions for workflow run 305

• Anchor v1: move tests to solana-kite 0.6.1

  completed successfully:
  Kani#304:Pull request#201openedbymikemaccana
  claude/solana-transaction-v1-lw43l0

  Oct 15, 202652s
  More actions for workflow run 304

• Merge pull request #198 from quicknode/claude/solana-transaction-v1-l…

  completed successfully:
  Kani#303:Commit2c964c4pushedbymikemaccana
  main

  Oct 15, 202622s
  More actions for workflow run 303

• Anchor v1: send every test transaction as a v1 transaction

  completed successfully:
  Kani#302:Pull request#198synchronizebymikemaccana
  claude/solana-transaction-v1-lw43l0

  Oct 15, 202625s
  More actions for workflow run 302

• Anchor v1: send every test transaction as a v1 transaction

  completed successfully:
  Kani#301:Pull request#198synchronizebymikemaccana
  claude/solana-transaction-v1-lw43l0

  Oct 14, 202645s
  More actions for workflow run 301

• Merge pull request #200 from quicknode/mikemaccana-patch-8

  completed successfully:
  Kani#300:Commit4816010pushedbymikemaccana
  main

  Oct 14, 202639s
  More actions for workflow run 300

• Add another video reference and update the description

  completed successfully:
  Kani#299:Pull request#200openedbymikemaccana
  mikemaccana-patch-8

  Oct 14, 202649s
  More actions for workflow run 299

• Merge pull request #199 from quicknode/claude/magical-brown-8hlucy

  completed successfully:
  Kani#298:Commit9e9033apushedbymikemaccana
  main

  Oct 14, 202632s
  More actions for workflow run 298

• Format the options Quasar test that fails rustfmt on main

  completed successfully:
  Kani#297:Pull request#199openedbymikemaccana
  claude/magical-brown-8hlucy

  Oct 14, 202640s
  More actions for workflow run 297

• Kani

  cancelled:
  Kani#296:Scheduled
  main

  Oct 12, 202645m 20s
  More actions for workflow run 296