Tests (E2E / Integration / Stress / Bench)

Workflow runs for Tests (E2E / Integration / Stress / Bench)

• build(deps): bump the actions group across 1 directory with 5 updates

  completed successfully:
  Tests (E2E / Integration / Stress / Bench)#2232:Pull request#1041synchronizebydependabot[bot]Bot
  dependabot/github_actions/actions-e612855af3

  Nov 10, 20268m 4s
  More actions for workflow run 2232

• build(deps): bump the actions group across 1 directory with 5 updates

  cancelled:
  Tests (E2E / Integration / Stress / Bench)#2231:Pull request#1041synchronizebydependabot[bot]Bot
  dependabot/github_actions/actions-e612855af3

  Nov 10, 202612m 37s
  More actions for workflow run 2231

• ci: move the oracle default and elixir-compile to OTP 28.5.0.8 (#1037)

  completed successfully:
  Tests (E2E / Integration / Stress / Bench)#2230:Commitb01aba6pushedbyhyperpolymath
  main

  Nov 10, 202617m 3s
  More actions for workflow run 2230

• ci: move the oracle default and elixir-compile to OTP 28.5.0.8

  completed successfully:
  Tests (E2E / Integration / Stress / Bench)#2229:Pull request#1037synchronizebyhyperpolymath
  claude/gifted-thompson-vsrzhw-otp

  Nov 10, 202615m 16s
  More actions for workflow run 2229

• feat(abi): model RSR capability-profile resolution in Idris2 (#1033)

  cancelled:
  Tests (E2E / Integration / Stress / Bench)#2228:Commit0ae8b22pushedbyhyperpolymath
  main

  Nov 10, 20264m 34s
  More actions for workflow run 2228

• feat(abi): model RSR capability-profile resolution in Idris2

  completed successfully:
  Tests (E2E / Integration / Stress / Bench)#2227:Pull request#1033synchronizebyhyperpolymath
  claude/gifted-thompson-vsrzhw-pr4

  Nov 10, 20269m 27s
  More actions for workflow run 2227

• build(deps): bump the actions group across 1 directory with 5 updates

  completed successfully:
  Tests (E2E / Integration / Stress / Bench)#2226:Pull request#1041synchronizebydependabot[bot]Bot
  dependabot/github_actions/actions-e612855af3

  Nov 9, 20268m 48s
  More actions for workflow run 2226

• build(deps): bump the actions group across 1 directory with 5 updates

  completed successfully:
  Tests (E2E / Integration / Stress / Bench)#2225:Pull request#1041synchronizebydependabot[bot]Bot
  dependabot/github_actions/actions-e612855af3

  Nov 9, 20269m 32s
  More actions for workflow run 2225

• fix(neural): stop the Graph of Trust leaking trust on repeated eviden…

  completed successfully:
  Tests (E2E / Integration / Stress / Bench)#2224:Commit3269c7dpushedbyhyperpolymath
  main

  Nov 9, 20268m 49s
  More actions for workflow run 2224

• fix(neural): stop the Graph of Trust leaking trust on repeated evidence

  completed successfully:
  Tests (E2E / Integration / Stress / Bench)#2223:Pull request#1028synchronizebyhyperpolymath
  claude/graph-of-trust-multiedge

  Nov 9, 202612m 10s
  More actions for workflow run 2223

• fix(runtime): pin OTP releases that drop credentials on cross-origin …

  cancelled:
  Tests (E2E / Integration / Stress / Bench)#2222:Commit142380epushedbyhyperpolymath
  main

  Nov 9, 202611m 7s
  More actions for workflow run 2222

• fix(runtime): pin OTP releases that drop credentials on cross-origin redirect

  completed successfully:
  Tests (E2E / Integration / Stress / Bench)#2221:Pull request#1035synchronizebyhyperpolymath
  claude/clever-heisenberg-q9qp32

  Nov 9, 202611m 55s
  More actions for workflow run 2221

• docs(workflow_yaml) + test(workflow_hardening): document the reader; …

  completed successfully:
  Tests (E2E / Integration / Stress / Bench)#2220:Commitfb71b0dpushedbyhyperpolymath
  main

  Nov 9, 202614m 48s
  More actions for workflow run 2220

• docs(workflow_yaml) + test(workflow_hardening): document the reader; clear reused temp repos

  completed successfully:
  Tests (E2E / Integration / Stress / Bench)#2219:Pull request#1027synchronizebyhyperpolymath
  claude/eager-wright-zwwbe2-workflow-yaml-docs

  Nov 9, 20268m 1s
  More actions for workflow run 2219

• fix(research_extensions): read on: brackets outside comments and qu…

  completed successfully:
  Tests (E2E / Integration / Stress / Bench)#2218:Commitbe6510fpushedbyhyperpolymath
  main

  Nov 9, 202614m 57s
  More actions for workflow run 2218

• fix(research_extensions): read on: brackets outside comments and quotes

  completed successfully:
  Tests (E2E / Integration / Stress / Bench)#2217:Pull request#1039synchronizebyhyperpolymath
  claude/eager-wright-zwwbe2-nesting-at

  Nov 9, 202619m 52s
  More actions for workflow run 2217

• build(deps): bump the actions group across 1 directory with 5 updates

  completed successfully:
  Tests (E2E / Integration / Stress / Bench)#2216:Pull request#1041openedbydependabot[bot]Bot
  dependabot/github_actions/actions-e612855af3

  Nov 9, 202615m 24s
  More actions for workflow run 2216

• feat(verification): re-home the Lean engineering proofs to Idris2; le…

  completed successfully:
  Tests (E2E / Integration / Stress / Bench)#2215:Commit49a495bpushedbyhyperpolymath
  main

  Nov 9, 20268m 11s
  More actions for workflow run 2215

• fix(research_extensions): read on: brackets outside comments and quotes

  failed:
  Tests (E2E / Integration / Stress / Bench)#2214:Pull request#1039synchronizebyhyperpolymath
  claude/eager-wright-zwwbe2-nesting-at

  Nov 9, 20261h 54m 13s
  More actions for workflow run 2214

• One parsed workflow model (#971); prove RE001's egress decision and the KYAML alias budget

  failed:
  Tests (E2E / Integration / Stress / Bench)#2213:Pull request#1036synchronizebyhyperpolymath
  claude/happy-sagan-mwnm7h

  Nov 9, 20262h 3m 6s
  More actions for workflow run 2213

• docs(readme): make the README's claims true, and gate them in CI

  failed:
  Tests (E2E / Integration / Stress / Bench)#2212:Pull request#1040synchronizebyhyperpolymath
  claude/eager-wright-zwwbe2-readme-counts

  Nov 9, 20262h 1m 18s
  More actions for workflow run 2212

• docs(proofs): align the neural-convergence plan and proof ledger with PROOF-POLICY

  failed:
  Tests (E2E / Integration / Stress / Bench)#2211:Pull request#1025synchronizebyhyperpolymath
  claude/proof-policy-alignment

  Nov 9, 20262h 2m 26s
  More actions for workflow run 2211

• docs(proofs): align the neural-convergence plan and proof ledger with PROOF-POLICY

  cancelled:
  Tests (E2E / Integration / Stress / Bench)#2210:Pull request#1025synchronizebyhyperpolymath
  claude/proof-policy-alignment

  Nov 9, 202655s
  More actions for workflow run 2210

• feat(verification): derive proof-ledger statuses from CI receipts; fail on over- and underclaim

  failed:
  Tests (E2E / Integration / Stress / Bench)#2209:Pull request#1034synchronizebyhyperpolymath
  claude/eager-wright-zwwbe2-ledger-derive

  Nov 9, 20262h 0m 0s
  More actions for workflow run 2209

• feat(verification): re-home the Lean engineering proofs to Idris2; ledger rows now proven

  completed successfully:
  Tests (E2E / Integration / Stress / Bench)#2208:Pull request#1031synchronizebyhyperpolymath
  claude/eager-wright-zwwbe2-idris-rehome

  Nov 9, 20262h 7m 12s
  More actions for workflow run 2208