CodeQL Security Analysis

Workflow runs for CodeQL Security Analysis

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

  completed successfully:
  CodeQL Security Analysis#295:Commit5f4b353pushedbyhyperpolymath
  main

  Nov 2, 20261m 0s
  More actions for workflow run 295

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

  completed successfully:
  CodeQL Security Analysis#294:Pull request#114openedbydependabot[bot]Bot
  dependabot/github_actions/actions-5c801928ed

  Nov 1, 20263m 4s
  More actions for workflow run 294

• CodeQL Security Analysis

  completed successfully:
  CodeQL Security Analysis#293:Scheduled
  main

  Nov 1, 202648s
  More actions for workflow run 293

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

  completed successfully:
  CodeQL Security Analysis#292:Commit122b14dpushedbyhyperpolymath
  main

  Oct 25, 202647s
  More actions for workflow run 292

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

  completed successfully:
  CodeQL Security Analysis#291:Pull request#113openedbydependabot[bot]Bot
  dependabot/github_actions/actions-52fc152648

  Oct 25, 202640s
  More actions for workflow run 291

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

  completed successfully:
  CodeQL Security Analysis#290:Commit800cf45pushedbyhyperpolymath
  main

  Oct 18, 202649s
  More actions for workflow run 290

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

  completed successfully:
  CodeQL Security Analysis#289:Pull request#112openedbydependabot[bot]Bot
  dependabot/github_actions/actions-f7193b2b12

  Oct 18, 202644s
  More actions for workflow run 289

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

  completed successfully:
  CodeQL Security Analysis#288:Commit9d6fc8bpushedbyhyperpolymath
  main

  Oct 11, 202648s
  More actions for workflow run 288

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

  completed successfully:
  CodeQL Security Analysis#287:Pull request#111openedbydependabot[bot]Bot
  dependabot/github_actions/actions-0ea35773d6

  Oct 11, 202648s
  More actions for workflow run 287

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

  completed successfully:
  CodeQL Security Analysis#286:Commit56a9887pushedbyhyperpolymath
  main

  Oct 4, 202644s
  More actions for workflow run 286

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

  completed successfully:
  CodeQL Security Analysis#285:Pull request#110openedbydependabot[bot]Bot
  dependabot/github_actions/actions-5c730b7206

  Oct 4, 202646s
  More actions for workflow run 285

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

  completed successfully:
  CodeQL Security Analysis#284:Commit4132e7cpushedbyhyperpolymath
  main

  Oct 1, 20262m 31s
  More actions for workflow run 284

• docs: add Signed commits section to CONTRIBUTING

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

  Oct 1, 20261m 38s
  More actions for workflow run 283

• docs: add Signed commits section to CONTRIBUTING

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

  Oct 1, 202653s
  More actions for workflow run 282

• CodeQL Security Analysis

  completed successfully:
  CodeQL Security Analysis#281:Scheduled
  main

  Oct 1, 202613m 11s
  More actions for workflow run 281

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

  completed successfully:
  CodeQL Security Analysis#280:Commitb383154pushedbyhyperpolymath
  main

  Sep 27, 202642s
  More actions for workflow run 280

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

  completed successfully:
  CodeQL Security Analysis#279:Pull request#108openedbydependabot[bot]Bot
  dependabot/github_actions/actions-c42d929ac2

  Sep 27, 202640s
  More actions for workflow run 279

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

  completed successfully:
  CodeQL Security Analysis#278:Commit5463d7epushedbyhyperpolymath
  main

  Sep 21, 20263h 45m 35s
  More actions for workflow run 278

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

  completed successfully:
  CodeQL Security Analysis#277:Pull request#107openedbyhyperpolymath
  fix/deed-gate-grammar

  Sep 21, 20263h 22m 59s
  More actions for workflow run 277

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

  cancelled:
  CodeQL Security Analysis#276:Commit86ae0f7pushedbyhyperpolymath
  main

  Sep 21, 202646m 58s
  More actions for workflow run 276

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

  completed successfully:
  CodeQL Security Analysis#275:Pull request#106openedbyhyperpolymath
  fix/deed-gate-a2ml-retire

  Sep 21, 20262h 20m 9s
  More actions for workflow run 275

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

  completed successfully:
  CodeQL Security Analysis#274:Commita499723pushedbyhyperpolymath
  main

  Sep 21, 202617m 30s
  More actions for workflow run 274

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

  completed successfully:
  CodeQL Security Analysis#273:Pull request#105openedbyhyperpolymath
  fix/caller-permissions-union

  Sep 21, 202617m 29s
  More actions for workflow run 273

• fix(ci): repair the permissions block indentation (invalid YAML) (#104)

  cancelled:
  CodeQL Security Analysis#272:Commit61b3034pushedbyhyperpolymath
  main

  Sep 21, 20266m 18s
  More actions for workflow run 272

• fix(ci): repair the permissions block indentation (invalid YAML)

  completed successfully:
  CodeQL Security Analysis#271:Pull request#104openedbyhyperpolymath
  fix/ci-permissions-indentation

  Sep 21, 202617m 21s
  More actions for workflow run 271