Skip to content

Actions: hyperpolymath/panic-attack

Actions

.github/workflows/rust-ci.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
rust-ci.yml
315 workflow runs
315 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: M5 CI/Workflow Sweep - add blockers and contractile.just .github/workflows/rust-ci.yml #140: Commit aba2abf pushed by hyperpolymath
26m 42s main
main
26m 42s
chore(deps): bump rand from 0.9.2 to 0.9.4 .github/workflows/rust-ci.yml #139: Pull request #19 opened by dependabot Bot
48s dependabot/cargo/rand-0.9.4
dependabot/cargo/rand-0.9.4
48s
chore: gitignore Chapel binary .github/workflows/rust-ci.yml #138: Commit e1c9f74 pushed by hyperpolymath
2m 47s main
main
2m 47s
docs(explainme): improve completeness per README-EXPLAINME-STANDARD .github/workflows/rust-ci.yml #137: Commit e0e2396 pushed by hyperpolymath
27s main
main
27s
feat(chapel): compile mass-panic under Chapel 2.8.0 and wire diff sub… .github/workflows/rust-ci.yml #136: Commit 4acf70c pushed by hyperpolymath
1m 58s main
main
1m 58s
paper(patch-bridge): qualify proof and evaluation claims for publication .github/workflows/rust-ci.yml #135: Commit 5c5916a pushed by hyperpolymath
1m 30s main
main
1m 30s
chore(state): session-close 2026-04-12 — log entry added .github/workflows/rust-ci.yml #134: Commit 75eee84 pushed by hyperpolymath
20s main
main
20s
chore(state): advance version to v2.5.0, mark completions + delta rep… .github/workflows/rust-ci.yml #133: Commit 4624e53 pushed by hyperpolymath
26s main
main
26s
docs: update CLAUDE.md with completed JWT bypass and Coq extraction d… .github/workflows/rust-ci.yml #132: Commit 7b3042f pushed by hyperpolymath
20s main
main
20s
feat(v2.5.0): crypto_misuse JWT sig bypass + proof_drift Coq extracti… .github/workflows/rust-ci.yml #131: Commit 1723745 pushed by hyperpolymath
28s main
main
28s
feat(storage): wire VeriSimDB HTTP push via direct verisim-api .github/workflows/rust-ci.yml #130: Commit 728688a pushed by hyperpolymath
32s main
main
32s
chore(v2.5.0): update doc counts 23→25, STATE.a2ml v2.3.0, complete m… .github/workflows/rust-ci.yml #129: Commit 82f2e6b pushed by hyperpolymath
28s main
main
28s
feat(v2.5.0): input_boundary (PA024) + mutation gap (PA025) .github/workflows/rust-ci.yml #128: Commit ab89123 pushed by hyperpolymath
52s main
main
52s
feat(v2.5.0): crypto_misuse category — PA022 .github/workflows/rust-ci.yml #127: Commit eb949d8 pushed by hyperpolymath
28s main
main
28s
chore(v2.2.0): doc sweep — 49 langs, 23 categories, stale counts cleared .github/workflows/rust-ci.yml #126: Commit 0bba84d pushed by hyperpolymath
26s main
main
26s
feat(v2.5.0): proof_drift category — 49-language support, PA021 .github/workflows/rust-ci.yml #125: Commit df61372 pushed by hyperpolymath
1m 16s main
main
1m 16s
feat(v2.1.0): wire FP suppression + remove Logtalk export .github/workflows/rust-ci.yml #124: Commit 476efd9 pushed by hyperpolymath
22s main
main
22s
chore(deps): bump clap_complete from 4.6.0 to 4.6.1 in the rust-minor group .github/workflows/rust-ci.yml #123: Pull request #18 opened by dependabot Bot
20s dependabot/cargo/rust-minor-0a1a92ddf0
dependabot/cargo/rust-minor-0a1a92ddf0
20s
docs(proof): update PROOF-NEEDS to reflect PA1+PA2 completion .github/workflows/rust-ci.yml #122: Commit f02af8c pushed by hyperpolymath
23s main
main
23s
docs(roadmap): add v2.5.0 — attack surface widening milestone .github/workflows/rust-ci.yml #121: Commit 0a74596 pushed by hyperpolymath
30s main
main
30s
chore(licence): clarify MPL-2.0 fallback — PMPL-1.0-or-later preferred .github/workflows/rust-ci.yml #120: Commit 698901b pushed by hyperpolymath
1h 46m 36s main
main
1h 46m 36s
fix: compilation errors, deprecation warnings, and add unit tests (#17) .github/workflows/rust-ci.yml #119: Commit fbbff87 pushed by hyperpolymath
43s main
main
43s
Add comprehensive test suites for panll and analyzer modules .github/workflows/rust-ci.yml #118: Pull request #17 synchronize by hyperpolymath
24s claude/analyze-repo-improvements-siFU8
claude/analyze-repo-improvements-siFU8
24s
fix: compilation errors, deprecation warnings, and add unit tests .github/workflows/rust-ci.yml #117: Commit 8134738 pushed by JoshuaJewell
23s main
main
23s
fix: add missing file/line fields to WeakPoint initializers (#16) .github/workflows/rust-ci.yml #116: Commit 40b40da pushed by hyperpolymath
23s main
main
23s