Workflow Security Linter

Workflow runs for Workflow Security Linter

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

  completed successfully:
  Workflow Security Linter#190:Commit122b14dpushedbyhyperpolymath
  main

  Oct 25, 20268s
  More actions for workflow run 190

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

  completed successfully:
  Workflow Security Linter#189:Pull request#113openedbydependabot[bot]Bot
  dependabot/github_actions/actions-52fc152648

  Oct 25, 20268s
  More actions for workflow run 189

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

  completed successfully:
  Workflow Security Linter#188:Commit85335a7pushedbydependabot[bot]Bot
  dependabot/github_actions/actions-52fc152648

  Oct 25, 202610s
  More actions for workflow run 188

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

  completed successfully:
  Workflow Security Linter#187:Commit800cf45pushedbyhyperpolymath
  main

  Oct 18, 20269s
  More actions for workflow run 187

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

  completed successfully:
  Workflow Security Linter#186:Pull request#112openedbydependabot[bot]Bot
  dependabot/github_actions/actions-f7193b2b12

  Oct 18, 202610s
  More actions for workflow run 186

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

  completed successfully:
  Workflow Security Linter#185:Commitf371fb7pushedbydependabot[bot]Bot
  dependabot/github_actions/actions-f7193b2b12

  Oct 18, 20269s
  More actions for workflow run 185

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

  completed successfully:
  Workflow Security Linter#184:Commit9d6fc8bpushedbyhyperpolymath
  main

  Oct 11, 20269s
  More actions for workflow run 184

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

  completed successfully:
  Workflow Security Linter#183:Pull request#111openedbydependabot[bot]Bot
  dependabot/github_actions/actions-0ea35773d6

  Oct 11, 20269s
  More actions for workflow run 183

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

  completed successfully:
  Workflow Security Linter#182:Commit142639epushedbydependabot[bot]Bot
  dependabot/github_actions/actions-0ea35773d6

  Oct 11, 20268s
  More actions for workflow run 182

• chore(deps): bump leanprover/lean-action from 1.6.0 to 1.6.1 in the a…

  completed successfully:
  Workflow Security Linter#181:Commit56a9887pushedbyhyperpolymath
  main

  Oct 4, 202610s
  More actions for workflow run 181

• chore(deps): bump leanprover/lean-action from 1.6.0 to 1.6.1 in the actions group

  completed successfully:
  Workflow Security Linter#180:Pull request#110openedbydependabot[bot]Bot
  dependabot/github_actions/actions-5c730b7206

  Oct 4, 20268s
  More actions for workflow run 180

• chore(deps): bump leanprover/lean-action

  completed successfully:
  Workflow Security Linter#179:Commitf13e0b3pushedbydependabot[bot]Bot
  dependabot/github_actions/actions-5c730b7206

  Oct 4, 202610s
  More actions for workflow run 179

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

  completed successfully:
  Workflow Security Linter#178:Commitb383154pushedbyhyperpolymath
  main

  Sep 27, 20266s
  More actions for workflow run 178

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

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

  Sep 27, 20269s
  More actions for workflow run 177

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

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

  Sep 27, 20269s
  More actions for workflow run 176

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

  completed successfully:
  Workflow Security Linter#175:Commit5463d7epushedbyhyperpolymath
  main

  Sep 21, 20263h 46m 21s
  More actions for workflow run 175

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

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

  Sep 21, 20263h 24m 27s
  More actions for workflow run 174

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

  completed successfully:
  Workflow Security Linter#173:Commitd80db94pushedbyhyperpolymath
  fix/deed-gate-grammar

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

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

  completed successfully:
  Workflow Security Linter#172:Commit86ae0f7pushedbyhyperpolymath
  main

  Sep 21, 20262h 21m 37s
  More actions for workflow run 172

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

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

  Sep 21, 20262h 20m 0s
  More actions for workflow run 171

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

  completed successfully:
  Workflow Security Linter#170:Commit62404f7pushedbyhyperpolymath
  fix/deed-gate-a2ml-retire

  Sep 21, 20262h 19m 16s
  More actions for workflow run 170

• fix(ci): give callers the union of the reusable's declared permission…

  completed successfully:
  Workflow Security Linter#169:Commita499723pushedbyhyperpolymath
  main

  Sep 21, 202616m 45s
  More actions for workflow run 169

• fix(ci): give callers the union of the reusable's declared permissions

  completed successfully:
  Workflow Security Linter#168:Pull request#105openedbyhyperpolymath
  fix/caller-permissions-union

  Sep 21, 202616m 56s
  More actions for workflow run 168

• fix(ci): grant the calling job the union of the callee's permissions …

  completed successfully:
  Workflow Security Linter#167:Commit582bb2dpushedbyhyperpolymath
  fix/caller-permissions-union

  Sep 21, 202616m 29s
  More actions for workflow run 167

• fix(ci): grant the calling job the union of the callee's permissions …

  completed successfully:
  Workflow Security Linter#166:Commitd998b9bpushedbyhyperpolymath
  fix/caller-permissions-union

  Sep 21, 202616m 29s
  More actions for workflow run 166