Skip to content

Actions: hyperpolymath/panic-attack

Actions

Instant Sync

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
instant-sync.yml
This workflow was disabled manually.
248 workflow runs
248 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
chore(state): session-close 2026-04-12 — log entry added Instant Sync #73: Commit 75eee84 pushed by hyperpolymath
5s main
main
5s
chore(state): advance version to v2.5.0, mark completions + delta rep… Instant Sync #72: Commit 4624e53 pushed by hyperpolymath
14s main
main
14s
docs: update CLAUDE.md with completed JWT bypass and Coq extraction d… Instant Sync #71: Commit 7b3042f pushed by hyperpolymath
17s main
main
17s
feat(v2.5.0): crypto_misuse JWT sig bypass + proof_drift Coq extracti… Instant Sync #70: Commit 1723745 pushed by hyperpolymath
6s main
main
6s
feat(storage): wire VeriSimDB HTTP push via direct verisim-api Instant Sync #69: Commit 728688a pushed by hyperpolymath
51s main
main
51s
chore(v2.5.0): update doc counts 23→25, STATE.a2ml v2.3.0, complete m… Instant Sync #68: Commit 82f2e6b pushed by hyperpolymath
9s main
main
9s
feat(v2.5.0): input_boundary (PA024) + mutation gap (PA025) Instant Sync #67: Commit ab89123 pushed by hyperpolymath
19s main
main
19s
feat(v2.5.0): crypto_misuse category — PA022 Instant Sync #66: Commit eb949d8 pushed by hyperpolymath
15s main
main
15s
chore(v2.2.0): doc sweep — 49 langs, 23 categories, stale counts cleared Instant Sync #65: Commit 0bba84d pushed by hyperpolymath
6s main
main
6s
feat(v2.5.0): proof_drift category — 49-language support, PA021 Instant Sync #64: Commit df61372 pushed by hyperpolymath
8s main
main
8s
feat(v2.1.0): wire FP suppression + remove Logtalk export Instant Sync #63: Commit 476efd9 pushed by hyperpolymath
14s main
main
14s
docs(proof): update PROOF-NEEDS to reflect PA1+PA2 completion Instant Sync #62: Commit f02af8c pushed by hyperpolymath
12s main
main
12s
docs(roadmap): add v2.5.0 — attack surface widening milestone Instant Sync #61: Commit 0a74596 pushed by hyperpolymath
10s main
main
10s
chore(licence): clarify MPL-2.0 fallback — PMPL-1.0-or-later preferred Instant Sync #60: Commit 698901b pushed by hyperpolymath
1h 46m 51s main
main
1h 46m 51s
fix: compilation errors, deprecation warnings, and add unit tests (#17) Instant Sync #59: Commit fbbff87 pushed by hyperpolymath
12s main
main
12s
fix: compilation errors, deprecation warnings, and add unit tests Instant Sync #58: Commit 8134738 pushed by JoshuaJewell
9s main
main
9s
fix: add missing file/line fields to WeakPoint initializers (#16) Instant Sync #57: Commit 40b40da pushed by hyperpolymath
9s main
main
9s
chore(deps): bump getrandom from 0.3.4 to 0.4.2 (#15) Instant Sync #56: Commit 36c7599 pushed by hyperpolymath
3m 24s main
main
3m 24s
feat(crg): add crg-grade and crg-badge justfile recipes Instant Sync #55: Commit 21fc3f0 pushed by hyperpolymath
6h 2m 30s main
main
6h 2m 30s
feat(crg): elevate assail to grade B, add Current Grade badge anchor Instant Sync #54: Commit 36bc6fc pushed by hyperpolymath
5h 11m 16s main
main
5h 11m 16s
chore: update eclexiaiser.toml with real function entries Instant Sync #53: Commit 256561e pushed by hyperpolymath
5h 7m 10s main
main
5h 7m 10s
chore: add eclexiaiser.toml manifests for container sub-services Instant Sync #52: Commit 93649cf pushed by hyperpolymath
4h 6m 19s main
main
4h 6m 19s
chore: add K9 Kennel-level metadata guard Instant Sync #51: Commit 8f0800c pushed by hyperpolymath
2h 17m 26s main
main
2h 17m 26s
fix: add file/line fields to WeakPoint for GitHub Actions annotations… Instant Sync #50: Commit 3154217 pushed by hyperpolymath
19m 54s main
main
19m 54s
docs: substantive CRG C annotation (EXPLAINME.adoc) Instant Sync #49: Commit 650acb5 pushed by hyperpolymath
30m 51s main
main
30m 51s