Provable

Workflow runs for Provable

• docs: make quickstarts and install instructions match the repo (drop …

  completed successfully:
  Provable#129:Commitef18532pushedbyhyperpolymath
  main

  Oct 25, 202644s
  More actions for workflow run 129

• Provable

  failed at startup:
  Provable#128:synchronizebycoderabbitai[bot]Bot
  arena/792b4b02-verisimiser

  Oct 25, 2026Startup failure
  More actions for workflow run 128

• Provable

  failed at startup:
  Provable#127:synchronizebycoderabbitai[bot]Bot
  arena/792b4b02-verisimiser

  Oct 25, 2026Startup failure
  More actions for workflow run 127

• Provable

  failed at startup:
  Provable#126:synchronizebycoderabbitai[bot]Bot
  arena/792b4b02-verisimiser

  Oct 25, 2026Startup failure
  More actions for workflow run 126

• docs: make quickstarts and install instructions match the repo (drop template placeholders and phantom recipes)

  failed:
  Provable#125:Pull request#219openedbyhyperpolymath
  arena/792b4b02-verisimiser

  Oct 25, 202654s
  More actions for workflow run 125

• test(logging): fix Octad banner substring casing (unbreak cargo test …

  failed:
  Provable#124:Commit7617b43pushedbyhyperpolymath
  main

  Oct 24, 202635s
  More actions for workflow run 124

• test(logging): fix Octad banner substring casing (unbreak cargo test on main)

  failed:
  Provable#123:Pull request#218synchronizebyhyperpolymath
  arena/83f35903-verisimiser

  Oct 24, 202649s
  More actions for workflow run 123

• docs: disambiguate concern Octad from VeriSimDB's Octad and Tier 2 ov…

  failed:
  Provable#122:Commit739afc4pushedbyhyperpolymath
  main

  Oct 24, 202657s
  More actions for workflow run 122

• docs: disambiguate concern Octad from VeriSimDB's Octad and Tier 2 overlays

  failed:
  Provable#121:Pull request#217synchronizebyhyperpolymath
  arena/83f35903-verisimiser

  Oct 24, 202651s
  More actions for workflow run 121

• docs: disambiguate concern Octad from VeriSimDB's Octad and Tier 2 overlays

  failed:
  Provable#120:Pull request#217synchronizebyhyperpolymath
  arena/83f35903-verisimiser

  Oct 24, 20261m 34s
  More actions for workflow run 120

• docs: disambiguate concern Octad from VeriSimDB's Octad and Tier 2 overlays

  failed:
  Provable#119:Pull request#217openedbyhyperpolymath
  arena/83f35903-verisimiser

  Oct 24, 202655s
  More actions for workflow run 119

• chore(deps): bump the actions group with 3 updates (#216)

  failed:
  Provable#118:Commit62722c5pushedbyhyperpolymath
  main

  Oct 23, 202647s
  More actions for workflow run 118

• chore(deps): bump the actions group with 3 updates

  failed:
  Provable#117:Pull request#216openedbydependabot[bot]Bot
  dependabot/github_actions/actions-2d22531cf6

  Oct 23, 202652s
  More actions for workflow run 117

• chore(deps): bump the actions group with 4 updates (#215)

  failed:
  Provable#116:Commit01707acpushedbyhyperpolymath
  main

  Oct 16, 202637s
  More actions for workflow run 116

• chore(deps): bump the actions group with 4 updates

  failed:
  Provable#115:Pull request#215openedbydependabot[bot]Bot
  dependabot/github_actions/actions-fa196a07bc

  Oct 16, 202646s
  More actions for workflow run 115

• chore(deps): bump hyperpolymath/smtp-notify-action from 0.3.0 to 0.5.…

  failed:
  Provable#114:Commitd056b6fpushedbyhyperpolymath
  main

  Oct 9, 202633s
  More actions for workflow run 114

• chore(deps): bump hyperpolymath/smtp-notify-action from 0.3.0 to 0.5.0 in the actions group

  failed:
  Provable#113:Pull request#214openedbydependabot[bot]Bot
  dependabot/github_actions/actions-1afb5b2680

  Oct 9, 202643s
  More actions for workflow run 113

• chore(deps): bump the actions group with 2 updates (#212)

  failed:
  Provable#112:Commit5e45608pushedbyhyperpolymath
  main

  Oct 2, 202646s
  More actions for workflow run 112

• chore(deps): bump the actions group with 2 updates

  failed:
  Provable#111:Pull request#212openedbydependabot[bot]Bot
  dependabot/github_actions/actions-4b2c77c676

  Oct 2, 202639s
  More actions for workflow run 111

• docs: add Signed commits section to CONTRIBUTING (#211)

  failed:
  Provable#110:Commit4e22632pushedbyhyperpolymath
  main

  Oct 1, 202656s
  More actions for workflow run 110

• docs: add Signed commits section to CONTRIBUTING

  failed:
  Provable#109:Pull request#211synchronizebyhyperpolymath
  docs/signing-policy-d218

  Oct 1, 20263m 25s
  More actions for workflow run 109

• docs: add Signed commits section to CONTRIBUTING

  failed:
  Provable#108:Pull request#211openedbyhyperpolymath
  docs/signing-policy-d218

  Oct 1, 202640s
  More actions for workflow run 108

• chore(deps): bump the actions group with 3 updates (#210)

  failed:
  Provable#107:Commitd5f6603pushedbyhyperpolymath
  main

  Sep 25, 202637s
  More actions for workflow run 107

• chore(deps): bump the actions group with 3 updates

  failed:
  Provable#106:Pull request#210openedbydependabot[bot]Bot
  dependabot/github_actions/actions-73ab6a6c53

  Sep 25, 202644s
  More actions for workflow run 106

• fix(gates): gate on the DEED grammar, per the template and standards#…

  failed:
  Provable#105:Commit896978cpushedbyhyperpolymath
  main

  Sep 21, 20266h 7m 24s
  More actions for workflow run 105