Workflow Security Linter

Workflow runs for Workflow Security Linter

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

  completed successfully:
  Workflow Security Linter#346:Pull request#218openedbydependabot[bot]Bot
  dependabot/github_actions/actions-1b1ce9824d

  Oct 18, 20268s
  More actions for workflow run 346

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

  completed successfully:
  Workflow Security Linter#345:Commit49012adpushedbydependabot[bot]Bot
  dependabot/github_actions/actions-1b1ce9824d

  Oct 18, 202610s
  More actions for workflow run 345

• chore(deps): bump the actions group with 5 updates (#217)

  completed successfully:
  Workflow Security Linter#344:Commit295c3capushedbyhyperpolymath
  main

  Oct 11, 202629s
  More actions for workflow run 344

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

  completed successfully:
  Workflow Security Linter#343:Pull request#217openedbydependabot[bot]Bot
  dependabot/github_actions/actions-6ba437f696

  Oct 11, 20268s
  More actions for workflow run 343

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

  completed successfully:
  Workflow Security Linter#342:Commit9dfce4epushedbydependabot[bot]Bot
  dependabot/github_actions/actions-6ba437f696

  Oct 11, 202611s
  More actions for workflow run 342

• fix(test): model oracle test fails instead of skipping as a pass (P0-…

  completed successfully:
  Workflow Security Linter#341:Commit3440d69pushedbyhyperpolymath
  main

  Oct 2, 202629s
  More actions for workflow run 341

• fix(test): model oracle test fails instead of skipping as a pass (P0-4)

  completed successfully:
  Workflow Security Linter#340:Pull request#214synchronizebyhyperpolymath
  fix/oracle-no-skip-as-pass

  Oct 2, 20261m 8s
  More actions for workflow run 340

• chore(lean4): bump toolchain v4.12.0 -> v4.34.1 (P0-3) (#213)

  completed successfully:
  Workflow Security Linter#339:Commit53ae47fpushedbyhyperpolymath
  main

  Oct 2, 202625s
  More actions for workflow run 339

• fix(test): model oracle test fails instead of skipping as a pass (P0-4)

  completed successfully:
  Workflow Security Linter#338:Pull request#214openedbyhyperpolymath
  fix/oracle-no-skip-as-pass

  Oct 2, 202627s
  More actions for workflow run 338

• chore(lean4): bump toolchain v4.12.0 -> v4.34.1 (P0-3)

  completed successfully:
  Workflow Security Linter#337:Pull request#213openedbyhyperpolymath
  chore/lean-4-34-1

  Oct 2, 202610s
  More actions for workflow run 337

• fix(test): model oracle test fails instead of skipping as a pass

  completed successfully:
  Workflow Security Linter#336:Commitd8e475bpushedbyhyperpolymath
  fix/oracle-no-skip-as-pass

  Oct 2, 202612s
  More actions for workflow run 336

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

  completed successfully:
  Workflow Security Linter#335:Commit0355246pushedbyhyperpolymath
  main

  Sep 27, 202610s
  More actions for workflow run 335

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

  completed successfully:
  Workflow Security Linter#334:Pull request#209openedbydependabot[bot]Bot
  dependabot/github_actions/actions-c42d929ac2

  Sep 27, 202610s
  More actions for workflow run 334

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

  completed successfully:
  Workflow Security Linter#333:Commit0dd2188pushedbydependabot[bot]Bot
  dependabot/github_actions/actions-c42d929ac2

  Sep 27, 202610s
  More actions for workflow run 333

• chore(deps): bump the actions group with 7 updates (#205)

  completed successfully:
  Workflow Security Linter#332:Commit6107346pushedbyhyperpolymath
  main

  Sep 21, 20266h 8m 3s
  More actions for workflow run 332

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

  completed successfully:
  Workflow Security Linter#331:Commitb774dabpushedbyhyperpolymath
  main

  Sep 21, 20266h 5m 47s
  More actions for workflow run 331

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

  completed successfully:
  Workflow Security Linter#330:Pull request#207openedbyhyperpolymath
  fix/deed-gate-grammar

  Sep 21, 20265h 3m 3s
  More actions for workflow run 330

• fix(gates): converge the manifest guard on the template's DEED wording

  completed successfully:
  Workflow Security Linter#329:Commite4fea9cpushedbyhyperpolymath
  fix/deed-gate-grammar

  Sep 21, 20265h 1m 22s
  More actions for workflow run 329

• fix(dogfood-gate): validate DEED via deed-ecosystem, not a2ml-era nam…

  completed successfully:
  Workflow Security Linter#328:Commitfe95d21pushedbyhyperpolymath
  main

  Sep 21, 20262h 57m 42s
  More actions for workflow run 328

• fix(dogfood-gate): validate DEED via deed-ecosystem, not a2ml-era naming

  completed successfully:
  Workflow Security Linter#327:Pull request#206openedbyhyperpolymath
  fix/deed-gate-a2ml-retire

  Sep 21, 20263h 0m 21s
  More actions for workflow run 327

• fix(dogfood-gate): validate DEED via deed-ecosystem, not a2ml-era naming

  completed successfully:
  Workflow Security Linter#326:Commit4d91dfepushedbyhyperpolymath
  fix/deed-gate-a2ml-retire

  Sep 21, 20263h 0m 23s
  More actions for workflow run 326

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

  completed successfully:
  Workflow Security Linter#325:Pull request#205openedbydependabot[bot]Bot
  dependabot/github_actions/actions-6c0dea18a1

  Sep 18, 202612s
  More actions for workflow run 325

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

  completed successfully:
  Workflow Security Linter#324:Commitac6cd5dpushedbydependabot[bot]Bot
  dependabot/github_actions/actions-6c0dea18a1

  Sep 18, 202617s
  More actions for workflow run 324

• Merge branch 'main' into chore/dependabot-pr-caps-2026-09-08

  completed successfully:
  Workflow Security Linter#323:Commit624d2aapushedbyhyperpolymath
  chore/dependabot-pr-caps-2026-09-08

  Sep 18, 202643s
  More actions for workflow run 323

• fix(ci): repair unparseable permissions scalar (1 workflow file(s)) (…

  completed successfully:
  Workflow Security Linter#322:Commit7fa8670pushedbyhyperpolymath
  main

  Sep 15, 20269s
  More actions for workflow run 322