Workflow Security Linter

workflow-linter.yml

357 workflow runs

Merge origin/main into claude/new-session-th4e9w-proof-honesty
completed successfully:
Workflow Security Linter#357:Commitb7af608pushedbyhyperpolymath
claude/new-session-th4e9w-proof-honesty
Nov 10, 202612m 32s
fix(proofs): DOM-1/DOM-2 corrected, checked in CI with pinned Agda, g…
completed successfully:
Workflow Security Linter#356:Commit5063985pushedbyhyperpolymath
main
Nov 10, 202633s
fix(proofs): a pinned Agda receipt for DOM-1/2, PWG labels, and no silent proof skips
completed successfully:
Workflow Security Linter#355:Pull request#126synchronizebyhyperpolymath
claude/new-session-th4e9w-proof-honesty
Nov 9, 20261h 16m 59s
fix(proofs): DOM-1/DOM-2 corrected, checked in CI with pinned Agda, graded PWG-3 from receipts
completed successfully:
Workflow Security Linter#354:Pull request#127synchronizebyhyperpolymath
claude/zen-brahmagupta-opqqle
Nov 9, 202637m 32s
fix(proofs): a pinned Agda receipt for DOM-1/2, PWG labels, and no silent proof skips
completed successfully:
Workflow Security Linter#353:Pull request#126synchronizebyhyperpolymath
claude/new-session-th4e9w-proof-honesty
Nov 9, 202639m 44s
fix(proofs): a pinned Agda receipt for DOM-1/2, PWG labels, and no silent proof skips
completed successfully:
Workflow Security Linter#352:Pull request#126synchronizebyhyperpolymath
claude/new-session-th4e9w-proof-honesty
Nov 9, 202637m 53s
fix(proofs): full import cone in the Agda receipt; collect all proof …
completed successfully:
Workflow Security Linter#351:Commit4e58142pushedbyhyperpolymath
claude/new-session-th4e9w-proof-honesty
Nov 9, 202638m 13s
fix(proofs): DOM-1/DOM-2 corrected, checked in CI with pinned Agda, graded PWG-3 from receipts
completed successfully:
Workflow Security Linter#350:Pull request#127synchronizebyhyperpolymath
claude/zen-brahmagupta-opqqle
Nov 9, 202640m 46s
ci(proofs): name the Agda job agda-proofs, the check-run name echidna…
completed successfully:
Workflow Security Linter#349:Commitccd5548pushedbyhyperpolymath
claude/zen-brahmagupta-opqqle
Nov 9, 202640m 27s
fix(proofs): DOM-1/DOM-2 corrected, checked in CI with pinned Agda, graded PWG-3 from receipts
completed successfully:
Workflow Security Linter#348:Pull request#127openedbyhyperpolymath
claude/zen-brahmagupta-opqqle
Nov 9, 202639m 23s
docs(proofs): record the 2026-11-09 cone receipts; derive PWG-3 for D…
completed successfully:
Workflow Security Linter#347:Commit84bab63pushedbyhyperpolymath
claude/zen-brahmagupta-opqqle
Nov 9, 202638m 17s
fix(proofs): a pinned Agda receipt for DOM-1/2, PWG labels, and no silent proof skips
completed successfully:
Workflow Security Linter#346:Pull request#126openedbyhyperpolymath
claude/new-session-th4e9w-proof-honesty
Nov 9, 202639m 34s
fix(proofs): a pinned Agda receipt for DOM-1/2, PWG labels, and no si…
completed successfully:
Workflow Security Linter#345:Commit69d7fb9pushedbyhyperpolymath
claude/new-session-th4e9w-proof-honesty
Nov 9, 202639m 17s
chore(deps): bump the actions group with 2 updates (#125)
completed successfully:
Workflow Security Linter#344:Commit7a5ab74pushedbyhyperpolymath
main
Nov 8, 202611s
chore(deps): bump the actions group with 2 updates
completed successfully:
Workflow Security Linter#343:Pull request#125openedbydependabot[bot]Bot
dependabot/github_actions/actions-26b05f84a5
Nov 8, 20269s
chore(deps): bump the actions group with 2 updates
completed successfully:
Workflow Security Linter#342:Commite654ceapushedbydependabot[bot]Bot
dependabot/github_actions/actions-26b05f84a5
Nov 8, 202611s
fix(k9): validate K9 with the canonical validator; bring every K9 rec…
completed successfully:
Workflow Security Linter#341:Commit391564cpushedbyhyperpolymath
main
Nov 5, 20269s
fix(k9): validate K9 with the canonical validator; bring every K9 record to contract v1.0.0
completed successfully:
Workflow Security Linter#340:Pull request#124synchronizebyhyperpolymath
claude/new-session-th4e9w-wo10-k9
Nov 5, 20263m 55s
fix(k9): validate K9 with the canonical validator; bring every K9 record to contract v1.0.0
completed successfully:
Workflow Security Linter#339:Pull request#124synchronizebyhyperpolymath
claude/new-session-th4e9w-wo10-k9
Nov 5, 20268m 24s
fix(k9): validate K9 with the canonical validator; bring every K9 record to contract v1.0.0
completed successfully:
Workflow Security Linter#338:Pull request#124openedbyhyperpolymath
claude/new-session-th4e9w-wo10-k9
Nov 5, 20264m 20s
fix(ci): regenerate actions.lock for the K9 lane change
completed successfully:
Workflow Security Linter#337:Commitea156b4pushedbyhyperpolymath
claude/new-session-th4e9w-wo10-k9
Nov 5, 20263m 14s
ci(scratch): hand the lock back outside .github/workflows (not for me…
completed successfully:
Workflow Security Linter#336:Commit162f399pushedbyhyperpolymath
claude/new-session-th4e9w-wo10-lockregen
Nov 4, 20263m 19s
ci(scratch): hand the regenerated lock back on a scratch branch (not …
completed successfully:
Workflow Security Linter#335:Commit62e7909pushedbyhyperpolymath
claude/new-session-th4e9w-wo10-lockregen
Nov 4, 20262m 29s
ci(scratch): rerun lock regeneration after merging main (not for merge)
completed successfully:
Workflow Security Linter#334:Commit803b247pushedbyhyperpolymath
claude/new-session-th4e9w-wo10-lockregen
Nov 4, 202618s
Merge origin/main into claude/new-session-th4e9w-wo10-k9
completed successfully:
Workflow Security Linter#333:Commitd408483pushedbyhyperpolymath
claude/new-session-th4e9w-wo10-k9
Nov 4, 202632s