CodeQL Security Analysis

Workflow runs for CodeQL Security Analysis

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

  completed successfully:
  CodeQL Security Analysis#393:Commitef18532pushedbyhyperpolymath
  main

  Oct 25, 20264m 5s
  More actions for workflow run 393

• CodeQL Security Analysis

  failed at startup:
  CodeQL Security Analysis#392:synchronizebycoderabbitai[bot]Bot
  arena/792b4b02-verisimiser

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

• CodeQL Security Analysis

  failed at startup:
  CodeQL Security Analysis#391:synchronizebycoderabbitai[bot]Bot
  arena/792b4b02-verisimiser

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

• CodeQL Security Analysis

  failed at startup:
  CodeQL Security Analysis#390:synchronizebycoderabbitai[bot]Bot
  arena/792b4b02-verisimiser

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

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

  completed successfully:
  CodeQL Security Analysis#389:Pull request#219openedbyhyperpolymath
  arena/792b4b02-verisimiser

  Oct 25, 20264m 4s
  More actions for workflow run 389

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

  completed successfully:
  CodeQL Security Analysis#388:Commit7617b43pushedbyhyperpolymath
  main

  Oct 24, 20263m 57s
  More actions for workflow run 388

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

  completed successfully:
  CodeQL Security Analysis#387:Pull request#218synchronizebyhyperpolymath
  arena/83f35903-verisimiser

  Oct 24, 20263m 54s
  More actions for workflow run 387

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

  completed successfully:
  CodeQL Security Analysis#386:Commit739afc4pushedbyhyperpolymath
  main

  Oct 24, 20262m 48s
  More actions for workflow run 386

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

  completed successfully:
  CodeQL Security Analysis#385:Pull request#217synchronizebyhyperpolymath
  arena/83f35903-verisimiser

  Oct 24, 20264m 45s
  More actions for workflow run 385

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

  cancelled:
  CodeQL Security Analysis#384:Pull request#217synchronizebyhyperpolymath
  arena/83f35903-verisimiser

  Oct 24, 20265m 14s
  More actions for workflow run 384

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

  cancelled:
  CodeQL Security Analysis#383:Pull request#217openedbyhyperpolymath
  arena/83f35903-verisimiser

  Oct 24, 20263m 45s
  More actions for workflow run 383

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

  completed successfully:
  CodeQL Security Analysis#382:Commit62722c5pushedbyhyperpolymath
  main

  Oct 23, 20264m 4s
  More actions for workflow run 382

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

  completed successfully:
  CodeQL Security Analysis#381:Pull request#216openedbydependabot[bot]Bot
  dependabot/github_actions/actions-2d22531cf6

  Oct 23, 20264m 8s
  More actions for workflow run 381

• CodeQL Security Analysis

  completed successfully:
  CodeQL Security Analysis#380:Scheduled
  main

  Oct 19, 20264m 16s
  More actions for workflow run 380

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

  completed successfully:
  CodeQL Security Analysis#379:Commit01707acpushedbyhyperpolymath
  main

  Oct 16, 20263m 42s
  More actions for workflow run 379

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

  completed successfully:
  CodeQL Security Analysis#378:Pull request#215openedbydependabot[bot]Bot
  dependabot/github_actions/actions-fa196a07bc

  Oct 16, 20263m 54s
  More actions for workflow run 378

• CodeQL Security Analysis

  completed successfully:
  CodeQL Security Analysis#377:Scheduled
  main

  Oct 12, 20264m 4s
  More actions for workflow run 377

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

  completed successfully:
  CodeQL Security Analysis#376:Commitd056b6fpushedbyhyperpolymath
  main

  Oct 9, 20263m 25s
  More actions for workflow run 376

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

  completed successfully:
  CodeQL Security Analysis#375:Pull request#214openedbydependabot[bot]Bot
  dependabot/github_actions/actions-1afb5b2680

  Oct 9, 20264m 22s
  More actions for workflow run 375

• CodeQL Security Analysis

  completed successfully:
  CodeQL Security Analysis#374:Scheduled
  main

  Oct 5, 20263m 48s
  More actions for workflow run 374

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

  completed successfully:
  CodeQL Security Analysis#373:Commit5e45608pushedbyhyperpolymath
  main

  Oct 2, 20264m 14s
  More actions for workflow run 373

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

  completed successfully:
  CodeQL Security Analysis#372:Pull request#212openedbydependabot[bot]Bot
  dependabot/github_actions/actions-4b2c77c676

  Oct 2, 20263m 53s
  More actions for workflow run 372

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

  completed successfully:
  CodeQL Security Analysis#371:Commit4e22632pushedbyhyperpolymath
  main

  Oct 1, 20264m 24s
  More actions for workflow run 371

• docs: add Signed commits section to CONTRIBUTING

  completed successfully:
  CodeQL Security Analysis#370:Pull request#211synchronizebyhyperpolymath
  docs/signing-policy-d218

  Oct 1, 20266m 22s
  More actions for workflow run 370

• docs: add Signed commits section to CONTRIBUTING

  completed successfully:
  CodeQL Security Analysis#369:Pull request#211openedbyhyperpolymath
  docs/signing-policy-d218

  Oct 1, 20263m 21s
  More actions for workflow run 369