Rust CI

Workflow runs for Rust CI

• ci: re-pin standards callers to a85aa8e and relock (fixes "invalid lo…

  completed successfully:
  Rust CI#307:Commit45ae207pushedbyhyperpolymath
  main

  Oct 20, 202648m 33s
  More actions for workflow run 307

• ci: re-pin standards callers to a85aa8e and relock (fixes "invalid lockfile pin")

  failed:
  Rust CI#306:Pull request#159synchronizebyhyperpolymath
  claude/vibrant-cori-lirqrr

  Oct 20, 202614m 18s
  More actions for workflow run 306

• ci(estate-audit): call cicd-suite's reusable audit; skip panic-attack…

  failed:
  Rust CI#305:Commitd6d3d78pushedbyhyperpolymath
  main

  Oct 20, 202610m 20s
  More actions for workflow run 305

• ci: re-pin standards callers to a85aa8e and relock (fixes "invalid lockfile pin")

  completed successfully:
  Rust CI#304:Pull request#159synchronizebyhyperpolymath
  claude/vibrant-cori-lirqrr

  Oct 19, 20263m 30s
  More actions for workflow run 304

• ci: re-pin standards callers to a85aa8e and relock (fixes "invalid lockfile pin")

  completed successfully:
  Rust CI#303:Pull request#159openedbyhyperpolymath
  claude/vibrant-cori-lirqrr

  Oct 19, 20263m 28s
  More actions for workflow run 303

• ci(estate-audit): call cicd-suite's reusable audit; skip panic-attack's registry

  failed:
  Rust CI#302:Pull request#158openedbyhyperpolymath
  claude/new-session-lwzjw0

  Oct 19, 202617m 6s
  More actions for workflow run 302

• Rust CI

  failed:
  Rust CI#301:Scheduled
  main

  Oct 19, 20266s
  More actions for workflow run 301

• ci(pages): give the cold casket-ssg build room to finish (15 → 60 min…

  completed successfully:
  Rust CI#300:Commit69de917pushedbyhyperpolymath
  main

  Oct 14, 20262m 41s
  More actions for workflow run 300

• ci(pages): give the cold casket-ssg build room to finish (15 → 60 min)

  completed successfully:
  Rust CI#299:Pull request#157openedbyhyperpolymath
  claude/new-session-lwzjw0

  Oct 14, 20263m 40s
  More actions for workflow run 299

• ci: estate workflow set — fix the always-red checks, retire folded wo…

  completed successfully:
  Rust CI#298:Commit4b50367pushedbyhyperpolymath
  main

  Oct 14, 20263m 11s
  More actions for workflow run 298

• ci: estate workflow set — fix the always-red checks, retire folded workflows, add cicd-squabbler

  completed successfully:
  Rust CI#297:Pull request#156synchronizebyhyperpolymath
  claude/new-session-lwzjw0

  Oct 14, 20262m 22s
  More actions for workflow run 297

• ci: estate workflow set — fix the always-red checks, retire folded workflows, add cicd-squabbler

  completed successfully:
  Rust CI#296:Pull request#156openedbyhyperpolymath
  claude/new-session-lwzjw0

  Oct 14, 20263m 22s
  More actions for workflow run 296

• chore(abi): remove the idrisiser tree (owner decision; it never typec…

  completed successfully:
  Rust CI#295:Commit9c20604pushedbyhyperpolymath
  main

  Oct 14, 20261m 3s
  More actions for workflow run 295

• chore(abi): remove the idrisiser tree (owner decision; it never typechecked)

  completed successfully:
  Rust CI#294:Pull request#154openedbyhyperpolymath
  claude/new-session-lwzjw0

  Oct 14, 202658s
  More actions for workflow run 294

• fix: CodeRabbit auto-fixes for PR #149 (#153)

  completed successfully:
  Rust CI#293:Commit8098b02pushedbyhyperpolymath
  main

  Oct 14, 20261m 25s
  More actions for workflow run 293

• fix: CodeRabbit auto-fixes for PR #149

  failed:
  Rust CI#292:Pull request#153synchronizebyhyperpolymath
  coderabbitai/autofix/bf54181

  Oct 14, 20261m 16s
  More actions for workflow run 292

• fix(abi): review follow-ups from the JNK-01 stack (CodeRabbit on #149…

  completed successfully:
  Rust CI#291:Commited8268epushedbyhyperpolymath
  main

  Oct 14, 20261m 3s
  More actions for workflow run 291

• fix: CodeRabbit auto-fixes for PR #149

  completed successfully:
  Rust CI#290:Pull request#153openedbycoderabbitai[bot]Bot
  coderabbitai/autofix/bf54181

  Oct 14, 20261m 5s
  More actions for workflow run 290

• fix(abi): review follow-ups from the JNK-01 stack (CodeRabbit on #149, Hypatia on #150)

  completed successfully:
  Rust CI#289:Pull request#152synchronizebyhyperpolymath
  claude/new-session-lwzjw0

  Oct 14, 202652s
  More actions for workflow run 289

• fix(abi): review follow-ups from the JNK-01 stack (CodeRabbit on #149, Hypatia on #150)

  completed successfully:
  Rust CI#288:Pull request#152openedbyhyperpolymath
  claude/new-session-lwzjw0

  Oct 14, 202657s
  More actions for workflow run 288

• feat(proofs): reversibility as a Loss grade — Agda kernel module pinn…

  completed successfully:
  Rust CI#287:Commitbf54181pushedbyhyperpolymath
  main

  Oct 13, 20261m 8s
  More actions for workflow run 287

• feat(proofs): reversibility as a Loss grade — Agda kernel module pinned to resource-algebra (JNK-01, B of 3)

  failed:
  Rust CI#286:Pull request#150synchronizebyhyperpolymath
  proofs/reversibility-grade

  Oct 13, 202650s
  More actions for workflow run 286

• fix(abi): real jk_* FFI, ABI typechecks under Idris2 0.8.0, gates and claims ledger (JNK-01, C of 3)

  failed:
  Rust CI#285:Pull request#151synchronizebyhyperpolymath
  claude/new-session-lwzjw0

  Oct 13, 202632s
  More actions for workflow run 285

• feat(proofs): reversibility as a Loss grade — Agda kernel module pinned to resource-algebra (JNK-01, B of 3)

  completed successfully:
  Rust CI#284:Pull request#150synchronizebyhyperpolymath
  proofs/reversibility-grade

  Oct 13, 202655s
  More actions for workflow run 284

• refactor(abi): one ABI tree — module-path layout, JanusKey casing, sy…

  completed successfully:
  Rust CI#283:Commitad85593pushedbyhyperpolymath
  main

  Oct 13, 20261m 4s
  More actions for workflow run 283