CodeQL Security Analysis

Workflow runs for CodeQL Security Analysis

• CodeQL Security Analysis

  completed successfully:
  CodeQL Security Analysis#1378:Scheduled
  main

  Aug 1, 202646s
  More actions for workflow run 1378

• ci: wire the formal/ Coq proof gate into CI (Refs #513) (#709)

  completed successfully:
  CodeQL Security Analysis#1377:Commited4e223pushedbyhyperpolymath
  main

  Jul 28, 202651s
  More actions for workflow run 1377

• ci: wire the formal/ Coq proof gate into CI (Refs #513)

  completed successfully:
  CodeQL Security Analysis#1376:Pull request#709synchronizebyhyperpolymath
  ci/coq-proof-gate

  Jul 28, 202654s
  More actions for workflow run 1376

• ci: wire the formal/ Coq proof gate into CI (Refs #513)

  completed successfully:
  CodeQL Security Analysis#1375:Pull request#709openedbyhyperpolymath
  ci/coq-proof-gate

  Jul 28, 202643s
  More actions for workflow run 1375

• ci: bump the github-actions group with 3 updates (#707)

  completed successfully:
  CodeQL Security Analysis#1374:Commit3e34d7fpushedbyhyperpolymath
  main

  Jul 28, 202655s
  More actions for workflow run 1374

• ci: bump the github-actions group with 3 updates

  completed successfully:
  CodeQL Security Analysis#1373:Pull request#707synchronizebyhyperpolymath
  dependabot/github_actions/github-actions-6947902d1c

  Jul 28, 202657s
  More actions for workflow run 1373

• rescue: INT-02 / INT-09 / INT-11 — recover stranded feature work from…

  cancelled:
  CodeQL Security Analysis#1372:Commit9a27760pushedbyhyperpolymath
  main

  Jul 28, 202639s
  More actions for workflow run 1372

• rescue: INT-02 / INT-09 / INT-11 — recover stranded feature work from a deleted checkout

  completed successfully:
  CodeQL Security Analysis#1371:Pull request#708openedbyhyperpolymath
  rescue/int-02-int-09-int-11

  Jul 28, 202649s
  More actions for workflow run 1371

• ci: bump the github-actions group with 3 updates

  completed successfully:
  CodeQL Security Analysis#1370:Pull request#707openedbydependabot[bot]Bot
  dependabot/github_actions/github-actions-6947902d1c

  Jul 25, 202641s
  More actions for workflow run 1370

• ci: bump the github-actions group across 1 directory with 8 updates (…

  completed successfully:
  CodeQL Security Analysis#1369:Commit1c169c0pushedbyhyperpolymath
  main

  Jul 23, 202629m 10s
  More actions for workflow run 1369

• ci: bump the github-actions group across 1 directory with 8 updates

  completed successfully:
  CodeQL Security Analysis#1368:Pull request#702synchronizebyhyperpolymath
  dependabot/github_actions/github-actions-f0dcc72221

  Jul 23, 202628m 43s
  More actions for workflow run 1368

• fix(ci): estate-wide foundational remediation (#706)

  cancelled:
  CodeQL Security Analysis#1367:Commite200bf3pushedbyhyperpolymath
  main

  Jul 23, 20263m 49s
  More actions for workflow run 1367

• fix(ci): estate-wide foundational remediation

  completed successfully:
  CodeQL Security Analysis#1366:Pull request#706openedbyhyperpolymath
  fix-ci-estate

  Jul 23, 202616m 47s
  More actions for workflow run 1366

• fix(ci): estate-wide foundational remediation (#705)

  completed successfully:
  CodeQL Security Analysis#1365:Commit99b3f29pushedbyhyperpolymath
  main

  Jul 23, 202649s
  More actions for workflow run 1365

• fix(ci): estate-wide foundational remediation

  completed successfully:
  CodeQL Security Analysis#1364:Pull request#705openedbyhyperpolymath
  fix-ci-estate

  Jul 23, 202651s
  More actions for workflow run 1364

• Sync local commits to main (#704)

  completed successfully:
  CodeQL Security Analysis#1363:Commit453d7a2pushedbyhyperpolymath
  main

  Jul 23, 20261h 22m 56s
  More actions for workflow run 1363

• Sync local commits to main

  completed successfully:
  CodeQL Security Analysis#1362:Pull request#704openedbyhyperpolymath
  sync-local-updates-1784832653

  Jul 23, 20261h 24m 48s
  More actions for workflow run 1362

• ci: bump the github-actions group across 1 directory with 8 updates

  completed successfully:
  CodeQL Security Analysis#1361:Pull request#702synchronizebydependabot[bot]Bot
  dependabot/github_actions/github-actions-f0dcc72221

  Jul 21, 20261h 15m 14s
  More actions for workflow run 1361

• fix(ci): use the canonical Scorecard wrapper instead of a local copy …

  completed successfully:
  CodeQL Security Analysis#1360:Commit6471180pushedbyhyperpolymath
  main

  Jul 21, 20262h 39m 29s
  More actions for workflow run 1360

• fix(ci): use the canonical Scorecard wrapper instead of a local copy

  completed successfully:
  CodeQL Security Analysis#1359:Pull request#703openedbyhyperpolymath
  fix/scorecard-canonical-wrapper

  Jul 21, 20262h 28m 49s
  More actions for workflow run 1359

• ci: bump the github-actions group across 1 directory with 8 updates

  completed successfully:
  CodeQL Security Analysis#1358:Pull request#702openedbydependabot[bot]Bot
  dependabot/github_actions/github-actions-f0dcc72221

  Jul 21, 20262h 27m 13s
  More actions for workflow run 1358

• fix(ci): close the governance gate — SPDX, permissions, SHA pins, reu…

  completed successfully:
  CodeQL Security Analysis#1357:Commit30a5c1cpushedbyhyperpolymath
  main

  Jul 21, 202618m 31s
  More actions for workflow run 1357

• fix(ci): close the governance gate — SPDX, permissions, SHA pins, reusable bump

  completed successfully:
  CodeQL Security Analysis#1356:Pull request#701openedbyhyperpolymath
  fix/governance-gate-sweep

  Jul 21, 20261m 57s
  More actions for workflow run 1356

• ci: bump the github-actions group with 4 updates

  completed successfully:
  CodeQL Security Analysis#1355:Pull request#700openedbydependabot[bot]Bot
  dependabot/github_actions/github-actions-39c9dfb08f

  Jul 21, 20268m 29s
  More actions for workflow run 1355

• fix(ci): add missing SPDX headers to workflow files (#697)

  completed successfully:
  CodeQL Security Analysis#1354:Commit2e9dd40pushedbyhyperpolymath
  main

  Jul 21, 202644m 21s
  More actions for workflow run 1354