All workflows

Workflow runs

• kani

  completed successfully:
  kani#152:Scheduled
  main

  Oct 20, 20264m 40s
  More actions for workflow run 152

• kani

  completed successfully:
  kani#151:Scheduled
  main

  Oct 19, 20266m 39s
  More actions for workflow run 151

• kani

  completed successfully:
  kani#150:Scheduled
  main

  Oct 18, 20266m 28s
  More actions for workflow run 150

• kani

  completed successfully:
  kani#149:Scheduled
  main

  Oct 17, 20266m 31s
  More actions for workflow run 149

• kani

  completed successfully:
  kani#148:Scheduled
  main

  Oct 16, 20266m 37s
  More actions for workflow run 148

• build(deps): bump soroban-sdk from 27.0.2 to 29.0.1

  failed:
  ci#598:Pull request#439openedbydependabot[bot]Bot
  dependabot/cargo/soroban-sdk-29.0.1

  Oct 16, 20263m 2s
  More actions for workflow run 598

• build(deps): bump proptest from 1.11.0 to 1.12.0

  failed:
  ci#597:Pull request#438openedbydependabot[bot]Bot
  dependabot/cargo/proptest-1.12.0

  Oct 16, 20263m 16s
  More actions for workflow run 597

• build(deps-dev): bump @types/node from 26.1.1 to 26.6.5 in /sdk

  failed:
  ci#596:Pull request#437openedbydependabot[bot]Bot
  dependabot/npm_and_yarn/sdk/types/node-26.6.5

  Oct 16, 20263m 15s
  More actions for workflow run 596

• build(deps): bump serde_json from 1.0.151 to 1.0.154

  failed:
  ci#595:Pull request#436openedbydependabot[bot]Bot
  dependabot/cargo/serde_json-1.0.154

  Oct 16, 20262m 33s
  More actions for workflow run 595

• npm_and_yarn in /sdk - Update #1630548290

  completed successfully:
  Dependabot Updates#75:bydependabot[bot]Bot
  main

  Oct 16, 202646s

• cargo in /. - Update #1630548291

  completed successfully:
  Dependabot Updates#74:bydependabot[bot]Bot
  main

  Oct 16, 202655s

• npm_and_yarn in /app - Update #1630548272

  failed:
  Dependabot Updates#73:bydependabot[bot]Bot
  main

  Oct 16, 202637s

• github_actions in /. - Update #1630548273

  completed successfully:
  Dependabot Updates#72:bydependabot[bot]Bot
  main

  Oct 16, 202645s

• kani

  completed successfully:
  kani#147:Scheduled
  main

  Oct 15, 20266m 16s
  More actions for workflow run 147

• feat: optional governed protocol fee module

  failed:
  ci#594:Pull request#421synchronizebyghg001
  ghg001:fix/issue-354-optional-protocol-fee-module-with-governed-rate

  Oct 14, 20261m 16s
  More actions for workflow run 594

• kani

  completed successfully:
  kani#146:Scheduled
  main

  Oct 14, 20265m 9s
  More actions for workflow run 146

• feat: add M-of-N threshold controller to splitter

  failed:
  ci#593:Pull request#420synchronizebyghg001
  ghg001:security/issue-349-m-of-n-threshold-controller-so-no-single-key

  Oct 13, 20261m 11s
  More actions for workflow run 593

• feat: optional governed protocol fee module

  failed:
  ci#592:Pull request#421synchronizebyghg001
  ghg001:fix/issue-354-optional-protocol-fee-module-with-governed-rate

  Oct 13, 20261m 46s
  More actions for workflow run 592

• kani

  completed successfully:
  kani#145:Scheduled
  main

  Oct 13, 20264m 17s
  More actions for workflow run 145

• kani

  completed successfully:
  kani#144:Scheduled
  main

  Oct 12, 20264m 37s
  More actions for workflow run 144

• feat: optional governed protocol fee module

  failed:
  ci#591:Pull request#421synchronizebyghg001
  ghg001:fix/issue-354-optional-protocol-fee-module-with-governed-rate

  Oct 12, 20262m 29s
  More actions for workflow run 591

• feat: add M-of-N threshold controller to splitter

  failed:
  ci#590:Pull request#420synchronizebyghg001
  ghg001:security/issue-349-m-of-n-threshold-controller-so-no-single-key

  Oct 12, 20262m 51s
  More actions for workflow run 590

• kani

  completed successfully:
  kani#143:Scheduled
  main

  Oct 11, 20265m 35s
  More actions for workflow run 143

• kani

  completed successfully:
  kani#142:Scheduled
  main

  Oct 10, 20266m 23s
  More actions for workflow run 142

• kani

  completed successfully:
  kani#141:Scheduled
  main

  Oct 9, 20265m 26s
  More actions for workflow run 141