Governance

Workflow runs for Governance

• docs: proof review against PROOF-POLICY; proof ledger; plan correctio…

  completed successfully:
  Governance#1280:Commita4d02e1pushedbyhyperpolymath
  main

  Nov 10, 20265m 0s
  More actions for workflow run 1280

• docs: proof review against PROOF-POLICY; proof ledger; plan correction

  completed successfully:
  Governance#1279:Pull request#787synchronizebyhyperpolymath
  claude/funny-faraday-rp3su1

  Nov 10, 20265m 19s
  More actions for workflow run 1279

• fix: multi-module programs check, evaluate and compile (found running…

  completed successfully:
  Governance#1278:Commitfe0963cpushedbyhyperpolymath
  main

  Nov 9, 20261m 3s
  More actions for workflow run 1278

• fix: multi-module programs check, evaluate and compile (found running kyq)

  completed successfully:
  Governance#1277:Pull request#788openedbyhyperpolymath
  claude/kind-clarke-aqpe7a-module-root

  Nov 9, 202638m 50s
  More actions for workflow run 1277

• docs: proof review against PROOF-POLICY; proof ledger; plan correction

  completed successfully:
  Governance#1276:Pull request#787synchronizebyhyperpolymath
  claude/funny-faraday-rp3su1

  Nov 9, 202628m 11s
  More actions for workflow run 1276

• docs: proof review against PROOF-POLICY; proof ledger; plan correction

  cancelled:
  Governance#1275:Pull request#787synchronizebyhyperpolymath
  claude/funny-faraday-rp3su1

  Nov 9, 202619m 7s
  More actions for workflow run 1275

• docs: proof review against PROOF-POLICY; proof ledger; plan correction

  cancelled:
  Governance#1274:Pull request#787synchronizebyhyperpolymath
  claude/funny-faraday-rp3su1

  Nov 9, 20263m 37s
  More actions for workflow run 1274

• docs: proof review against PROOF-POLICY; proof ledger; plan correction

  cancelled:
  Governance#1273:Pull request#787openedbyhyperpolymath
  claude/funny-faraday-rp3su1

  Nov 9, 202610m 20s
  More actions for workflow run 1273

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

  completed successfully:
  Governance#1272:Pull request#784synchronizebydependabot[bot]Bot
  dependabot/github_actions/github-actions-7d4f659725

  Nov 7, 202610s
  More actions for workflow run 1272

• docs: completion architecture and ultracode plan (#786)

  completed successfully:
  Governance#1271:Commit9167b04pushedbyhyperpolymath
  main

  Nov 4, 202617s
  More actions for workflow run 1271

• docs: completion architecture and ultracode plan

  completed successfully:
  Governance#1270:Pull request#786synchronizebyhyperpolymath
  claude/funny-faraday-rp3su1

  Nov 4, 20268s
  More actions for workflow run 1270

• docs: completion architecture and ultracode plan

  completed successfully:
  Governance#1269:Pull request#786openedbyhyperpolymath
  claude/funny-faraday-rp3su1

  Nov 4, 20262m 26s
  More actions for workflow run 1269

• ci: bump rustls from 0.23.45 to 0.23.46 in /tools/affine-pkg in the cargo group across 1 directory

  completed successfully:
  Governance#1268:Pull request#785openedbydependabot[bot]Bot
  dependabot/cargo/tools/affine-pkg/cargo-8681492501

  Nov 3, 20269s
  More actions for workflow run 1268

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

  completed successfully:
  Governance#1267:Pull request#784openedbydependabot[bot]Bot
  dependabot/github_actions/github-actions-7d4f659725

  Oct 31, 20269s
  More actions for workflow run 1267

• ci: bump github/codeql-action from 4.38.2 to 4.38.3 in the github-actions group

  completed successfully:
  Governance#1266:Pull request#783openedbydependabot[bot]Bot
  dependabot/github_actions/github-actions-90fd21f639

  Oct 17, 20268s
  More actions for workflow run 1266

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

  completed successfully:
  Governance#1265:Commit5af55f5pushedbyhyperpolymath
  main

  Oct 11, 20269s
  More actions for workflow run 1265

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

  completed successfully:
  Governance#1264:Pull request#782openedbydependabot[bot]Bot
  dependabot/github_actions/github-actions-7ef8f27822

  Oct 10, 202610s
  More actions for workflow run 1264

• feat(stdlib/bun): bun_run_capture — captured child-process run (#781)

  completed successfully:
  Governance#1263:Commit4e2d263pushedbyhyperpolymath
  main

  Oct 8, 202610s
  More actions for workflow run 1263

• feat(stdlib/bun): bun_run_capture — captured child-process run

  completed successfully:
  Governance#1262:Pull request#781openedbyhyperpolymath
  feat/bun-run-capture

  Oct 8, 202612s
  More actions for workflow run 1262

• ci: remove per-repo Semgrep scan (the Semgrep Code app covers PRs) (#…

  completed successfully:
  Governance#1261:Commite8f6a71pushedbyhyperpolymath
  main

  Oct 8, 20269s
  More actions for workflow run 1261

• ci: remove per-repo Semgrep scan (the Semgrep Code app covers PRs)

  completed successfully:
  Governance#1260:Pull request#780openedbyhyperpolymath
  chore/drop-duplicate-semgrep

  Oct 8, 202614s
  More actions for workflow run 1260

• fix(affine-pkg): bump reqwest 0.11 -> 0.12 (rustls-webpki 0.101.7 -> …

  completed successfully:
  Governance#1259:Commitbba281cpushedbyhyperpolymath
  main

  Oct 5, 202611s
  More actions for workflow run 1259

• fix(affine-pkg): bump reqwest 0.11 -> 0.12 (rustls-webpki 0.101.7 -> 0.103.15)

  completed successfully:
  Governance#1258:Pull request#779openedbyhyperpolymath
  deps/reqwest-0.12-issue96

  Oct 5, 20269s
  More actions for workflow run 1258

• fix(compiler): fixes found building a real multi-module TEA app on Bu…

  completed successfully:
  Governance#1257:Commitc123a3dpushedbyhyperpolymath
  main

  Oct 5, 202628m 11s
  More actions for workflow run 1257

• fix(compiler): fixes found building a real multi-module TEA app on Bun-ESM

  completed successfully:
  Governance#1256:Pull request#777synchronizebyhyperpolymath
  fix/bun-esm-generic-kinds-tea-shape

  Oct 5, 202649m 10s
  More actions for workflow run 1256