Skip to content

Actions: hyperpolymath/typed-wasm

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
569 workflow runs
569 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
fix(rhodibot): automated RSR compliance fixes CodeQL Security Analysis #44: Pull request #2 synchronize by hyperpolymath
1m 2s rhodibot/rsr-compliance-20260330
rhodibot/rsr-compliance-20260330
1m 2s
fix: normalize hypatia workspace path CodeQL Security Analysis #43: Commit ec23a0c pushed by hyperpolymath
1m 14s main
main
1m 14s
fix: unblock PR checks for scanner workflows CodeQL Security Analysis #42: Commit 62bfb5e pushed by hyperpolymath
1m 1s main
main
1m 1s
fix(ci): normalize static analysis owner resolution CodeQL Security Analysis #41: Commit f9b9988 pushed by hyperpolymath
1m 14s main
main
1m 14s
fix(rhodibot): automated RSR compliance fixes CodeQL Security Analysis #40: Pull request #2 opened by hyperpolymath
1m 5s rhodibot/rsr-compliance-20260330
rhodibot/rsr-compliance-20260330
1m 5s
Add typed-wasm contractile invariants and k9 guard CodeQL Security Analysis #39: Commit c0aabce pushed by hyperpolymath
1m 1s main
main
1m 1s
chore: sync metadata, manifest, Justfile updates from arXiv session CodeQL Security Analysis #38: Commit 060023f pushed by hyperpolymath
19m 2s main
main
19m 2s
paper: add inference rules, surface syntax, metatheory, grammar L11-12 CodeQL Security Analysis #37: Commit 450385e pushed by hyperpolymath
6m 26s main
main
6m 26s
spec: update grammar header to 12-level framework CodeQL Security Analysis #36: Commit 5f75189 pushed by hyperpolymath
1m 5s main
main
1m 5s
paper: retitle to "Progressive Type Safety" and extend to 12 levels CodeQL Security Analysis #35: Commit a263516 pushed by hyperpolymath
1m 5s main
main
1m 5s
Remove template-only ABI files that falsely implied formal verification CodeQL Security Analysis #34: Commit 4597974 pushed by hyperpolymath
20m 53s main
main
20m 53s
docs: add real Zenodo DOI badge (10.5281/zenodo.19329508) CodeQL Security Analysis #33: Commit 3ac48db pushed by hyperpolymath
59s main
main
59s
docs: add DOI + level badges to README CodeQL Security Analysis #32: Commit 4573da3 pushed by hyperpolymath
59s main
main
59s
docs: add Level Achievement Status + paper Appendix A CodeQL Security Analysis #31: Commit 31879f6 pushed by hyperpolymath
1m 6s main
main
1m 6s
proof: eliminate believe_me from Epistemic.idr — full Nat trichotomy CodeQL Security Analysis #30: Commit e4253f0 pushed by hyperpolymath
1m 5s main
main
1m 5s
feat: extend to 12 levels — tropical cost-tracking + epistemic safety CodeQL Security Analysis #29: Commit 56d078c pushed by hyperpolymath
1m 0s main
main
1m 0s
chore: add Zenodo + HAL deposit metadata for paper submission CodeQL Security Analysis #28: Commit 9e11967 pushed by hyperpolymath
1m 0s main
main
1m 0s
CodeQL Security Analysis CodeQL Security Analysis #27: Scheduled
1m 20s main
main
1m 20s
feat: add Evaluation section — benchmarks, comparison table, ECHIDNA … CodeQL Security Analysis #26: Commit e8d6208 pushed by hyperpolymath
59s main
main
59s
docs: mark P1-P3 complete in ROADMAP, add CHANGELOG entries CodeQL Security Analysis #25: Commit 0c07c34 pushed by hyperpolymath
1m 4s main
main
1m 4s
feat: add arXiv-ready LaTeX paper (P2) CodeQL Security Analysis #24: Commit 3762caa pushed by hyperpolymath
1m 7s main
main
1m 7s
feat: add ECHIDNA prover oracle harness (P1) CodeQL Security Analysis #23: Commit dbd0f52 pushed by hyperpolymath
1m 5s main
main
1m 5s
chore: replace template placeholder in ROADMAP.adoc with project name CodeQL Security Analysis #22: Commit b30a487 pushed by hyperpolymath
20m 50s main
main
20m 50s
feat: add stapeln.toml layer-based container definition\n\nConverted … CodeQL Security Analysis #21: Commit b5df6f3 pushed by hyperpolymath
1h 24m 12s main
main
1h 24m 12s
feat: add P0 E2E smoke test, package.json for @rescript/runtime CodeQL Security Analysis #20: Commit 02aa1b7 pushed by hyperpolymath
1h 17m 18s main
main
1h 17m 18s
ProTip! You can narrow down the results and go further in time using created:<2026-03-28 or the other filters available.