E2E + Aspect + Bench + Security

309 workflow runs

ci: re-pin standards callers to a85aa8e and relock (fixes "invalid lo…
completed successfully:
E2E + Aspect + Bench + Security#309:Commit45ae207pushedbyhyperpolymath
main
Oct 20, 202621m 36s
ci: re-pin standards callers to a85aa8e and relock (fixes "invalid lockfile pin")
completed successfully:
E2E + Aspect + Bench + Security#308:Pull request#159synchronizebyhyperpolymath
claude/vibrant-cori-lirqrr
Oct 20, 202615m 19s
ci(estate-audit): call cicd-suite's reusable audit; skip panic-attack…
completed successfully:
E2E + Aspect + Bench + Security#307:Commitd6d3d78pushedbyhyperpolymath
main
Oct 20, 202612m 42s
ci: re-pin standards callers to a85aa8e and relock (fixes "invalid lockfile pin")
completed successfully:
E2E + Aspect + Bench + Security#306:Pull request#159synchronizebyhyperpolymath
claude/vibrant-cori-lirqrr
Oct 19, 20261m 6s
ci: re-pin standards callers to a85aa8e and relock (fixes "invalid lockfile pin")
completed successfully:
E2E + Aspect + Bench + Security#305:Pull request#159openedbyhyperpolymath
claude/vibrant-cori-lirqrr
Oct 19, 20262m 24s
ci(estate-audit): call cicd-suite's reusable audit; skip panic-attack's registry
completed successfully:
E2E + Aspect + Bench + Security#304:Pull request#158openedbyhyperpolymath
claude/new-session-lwzjw0
Oct 19, 20267m 12s
ci(pages): give the cold casket-ssg build room to finish (15 → 60 min…
completed successfully:
E2E + Aspect + Bench + Security#303:Commit69de917pushedbyhyperpolymath
main
Oct 14, 20262m 27s
ci(pages): give the cold casket-ssg build room to finish (15 → 60 min)
completed successfully:
E2E + Aspect + Bench + Security#302:Pull request#157openedbyhyperpolymath
claude/new-session-lwzjw0
Oct 14, 20261m 1s
ci: estate workflow set — fix the always-red checks, retire folded wo…
completed successfully:
E2E + Aspect + Bench + Security#301:Commit4b50367pushedbyhyperpolymath
main
Oct 14, 20262m 24s
ci: estate workflow set — fix the always-red checks, retire folded workflows, add cicd-squabbler
completed successfully:
E2E + Aspect + Bench + Security#300:Pull request#156synchronizebyhyperpolymath
claude/new-session-lwzjw0
Oct 14, 20261m 0s
ci: estate workflow set — fix the always-red checks, retire folded workflows, add cicd-squabbler
completed successfully:
E2E + Aspect + Bench + Security#299:Pull request#156openedbyhyperpolymath
claude/new-session-lwzjw0
Oct 14, 20261m 7s
chore(abi): remove the idrisiser tree (owner decision; it never typec…
completed successfully:
E2E + Aspect + Bench + Security#298:Commit9c20604pushedbyhyperpolymath
main
Oct 14, 20262m 35s
chore(abi): remove the idrisiser tree (owner decision; it never typechecked)
completed successfully:
E2E + Aspect + Bench + Security#297:Pull request#154openedbyhyperpolymath
claude/new-session-lwzjw0
Oct 14, 20261m 6s
fix: CodeRabbit auto-fixes for PR #149 (#153)
completed successfully:
E2E + Aspect + Bench + Security#296:Commit8098b02pushedbyhyperpolymath
main
Oct 14, 20261m 55s
fix: CodeRabbit auto-fixes for PR #149
completed successfully:
E2E + Aspect + Bench + Security#295:Pull request#153synchronizebyhyperpolymath
coderabbitai/autofix/bf54181
Oct 14, 202655s
fix(abi): review follow-ups from the JNK-01 stack (CodeRabbit on #149…
completed successfully:
E2E + Aspect + Bench + Security#294:Commited8268epushedbyhyperpolymath
main
Oct 14, 20262m 0s
fix: CodeRabbit auto-fixes for PR #149
completed successfully:
E2E + Aspect + Bench + Security#293:Pull request#153openedbycoderabbitai[bot]Bot
coderabbitai/autofix/bf54181
Oct 14, 20261m 10s
fix(abi): review follow-ups from the JNK-01 stack (CodeRabbit on #149, Hypatia on #150)
completed successfully:
E2E + Aspect + Bench + Security#292:Pull request#152synchronizebyhyperpolymath
claude/new-session-lwzjw0
Oct 14, 20261m 16s
fix(abi): review follow-ups from the JNK-01 stack (CodeRabbit on #149, Hypatia on #150)
completed successfully:
E2E + Aspect + Bench + Security#291:Pull request#152openedbyhyperpolymath
claude/new-session-lwzjw0
Oct 14, 20261m 3s
feat(proofs): reversibility as a Loss grade — Agda kernel module pinn…
completed successfully:
E2E + Aspect + Bench + Security#290:Commitbf54181pushedbyhyperpolymath
main
Oct 13, 20262m 26s
feat(proofs): reversibility as a Loss grade — Agda kernel module pinned to resource-algebra (JNK-01, B of 3)
completed successfully:
E2E + Aspect + Bench + Security#289:Pull request#150synchronizebyhyperpolymath
proofs/reversibility-grade
Oct 13, 20261m 5s
feat(proofs): reversibility as a Loss grade — Agda kernel module pinned to resource-algebra (JNK-01, B of 3)
completed successfully:
E2E + Aspect + Bench + Security#288:Pull request#150synchronizebyhyperpolymath
proofs/reversibility-grade
Oct 13, 20261m 14s
refactor(abi): one ABI tree — module-path layout, JanusKey casing, sy…
completed successfully:
E2E + Aspect + Bench + Security#287:Commitad85593pushedbyhyperpolymath
main
Oct 13, 20262m 8s
refactor(abi): one ABI tree — module-path layout, JanusKey casing, symlink farm retired (JNK-01, A of 3)
completed successfully:
E2E + Aspect + Bench + Security#286:Pull request#149openedbyhyperpolymath
abi/one-tree
Oct 13, 20261m 5s
ci: remove per-repo Semgrep scan (the Semgrep Code app covers PRs) (#…
completed successfully:
E2E + Aspect + Bench + Security#285:Commit0ae1cf7pushedbyhyperpolymath
main
Oct 8, 20262m 37s