Static Analysis Gate

Workflow runs for Static Analysis Gate

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

  failed:
  Static Analysis Gate#367:Pull request#220openedbydependabot[bot]Bot
  dependabot/github_actions/actions-a17a8676ff

  Oct 30, 202655s
  More actions for workflow run 367

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

  failed:
  Static Analysis Gate#366:Commitef18532pushedbyhyperpolymath
  main

  Oct 25, 202654s
  More actions for workflow run 366

• Static Analysis Gate

  failed at startup:
  Static Analysis Gate#365:synchronizebycoderabbitai[bot]Bot
  arena/792b4b02-verisimiser

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

• Static Analysis Gate

  failed at startup:
  Static Analysis Gate#364:synchronizebycoderabbitai[bot]Bot
  arena/792b4b02-verisimiser

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

• Static Analysis Gate

  failed at startup:
  Static Analysis Gate#363:synchronizebycoderabbitai[bot]Bot
  arena/792b4b02-verisimiser

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

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

  completed successfully:
  Static Analysis Gate#362:Pull request#219openedbyhyperpolymath
  arena/792b4b02-verisimiser

  Oct 25, 202651s
  More actions for workflow run 362

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

  completed successfully:
  Static Analysis Gate#361:Commit7617b43pushedbyhyperpolymath
  main

  Oct 24, 202642s
  More actions for workflow run 361

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

  completed successfully:
  Static Analysis Gate#360:Pull request#218synchronizebyhyperpolymath
  arena/83f35903-verisimiser

  Oct 24, 202636s
  More actions for workflow run 360

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

  completed successfully:
  Static Analysis Gate#359:Commit739afc4pushedbyhyperpolymath
  main

  Oct 24, 202639s
  More actions for workflow run 359

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

  completed successfully:
  Static Analysis Gate#358:Pull request#217synchronizebyhyperpolymath
  arena/83f35903-verisimiser

  Oct 24, 202650s
  More actions for workflow run 358

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

  completed successfully:
  Static Analysis Gate#357:Pull request#217synchronizebyhyperpolymath
  arena/83f35903-verisimiser

  Oct 24, 20261m 12s
  More actions for workflow run 357

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

  completed successfully:
  Static Analysis Gate#356:Pull request#217openedbyhyperpolymath
  arena/83f35903-verisimiser

  Oct 24, 202638s
  More actions for workflow run 356

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

  completed successfully:
  Static Analysis Gate#355:Commit62722c5pushedbyhyperpolymath
  main

  Oct 23, 202640s
  More actions for workflow run 355

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

  completed successfully:
  Static Analysis Gate#354:Pull request#216openedbydependabot[bot]Bot
  dependabot/github_actions/actions-2d22531cf6

  Oct 23, 202642s
  More actions for workflow run 354

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

  failed:
  Static Analysis Gate#353:Commit01707acpushedbyhyperpolymath
  main

  Oct 16, 202649s
  More actions for workflow run 353

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

  failed:
  Static Analysis Gate#352:Pull request#215openedbydependabot[bot]Bot
  dependabot/github_actions/actions-fa196a07bc

  Oct 16, 202641s
  More actions for workflow run 352

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

  failed:
  Static Analysis Gate#351:Commitd056b6fpushedbyhyperpolymath
  main

  Oct 9, 202650s
  More actions for workflow run 351

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

  failed:
  Static Analysis Gate#350:Pull request#214openedbydependabot[bot]Bot
  dependabot/github_actions/actions-1afb5b2680

  Oct 9, 202648s
  More actions for workflow run 350

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

  failed:
  Static Analysis Gate#349:Commit5e45608pushedbyhyperpolymath
  main

  Oct 2, 202657s
  More actions for workflow run 349

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

  failed:
  Static Analysis Gate#348:Pull request#212openedbydependabot[bot]Bot
  dependabot/github_actions/actions-4b2c77c676

  Oct 2, 202649s
  More actions for workflow run 348

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

  failed:
  Static Analysis Gate#347:Commit4e22632pushedbyhyperpolymath
  main

  Oct 1, 202651s
  More actions for workflow run 347

• docs: add Signed commits section to CONTRIBUTING

  failed:
  Static Analysis Gate#346:Pull request#211synchronizebyhyperpolymath
  docs/signing-policy-d218

  Oct 1, 20266m 12s
  More actions for workflow run 346

• docs: add Signed commits section to CONTRIBUTING

  failed:
  Static Analysis Gate#345:Pull request#211openedbyhyperpolymath
  docs/signing-policy-d218

  Oct 1, 20261m 3s
  More actions for workflow run 345

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

  failed:
  Static Analysis Gate#344:Commitd5f6603pushedbyhyperpolymath
  main

  Sep 25, 202653s
  More actions for workflow run 344

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

  failed:
  Static Analysis Gate#343:Pull request#210openedbydependabot[bot]Bot
  dependabot/github_actions/actions-73ab6a6c53

  Sep 25, 202641s
  More actions for workflow run 343