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
chore(.machine_readable): convert 6a2 checkpoint files from Scheme to… CodeQL Security Analysis #69: Commit 5a0ba65 pushed by hyperpolymath
1h 52m 10s main
main
1h 52m 10s
chore(state): update STATE.a2ml — layout proofs done, failures cleared CodeQL Security Analysis #68: Commit 90d2b65 pushed by hyperpolymath
33m 53s main
main
33m 53s
fix(ci): update hypatia binary detection, fix SPDX header style CodeQL Security Analysis #67: Commit ca2851d pushed by hyperpolymath
1m 10s main
main
1m 10s
chore(panic-attack,echidna): classify false-positive hits; wire ECHID… CodeQL Security Analysis #66: Commit 141485f pushed by hyperpolymath
57s main
main
57s
fix(layout): add WHT_Any; resultLayout payload now (ref any) — no stu… CodeQL Security Analysis #65: Commit 197e02b pushed by hyperpolymath
1m 5s main
main
1m 5s
feat(layout): add WHT_Var/WHT_Rec; fix List recursive type CodeQL Security Analysis #64: Commit 39c1491 pushed by hyperpolymath
58s main
main
58s
fix(layout): add DecEq (a,b) instance to resolve WHT_Struct DecEq CodeQL Security Analysis #63: Commit d720a8a pushed by hyperpolymath
1m 3s main
main
1m 3s
feat(layout): add WasmGC layout proofs for cross-language ABI contracts CodeQL Security Analysis #62: Commit 69a33af pushed by hyperpolymath
55s main
main
55s
docs(ecosystem): add nextgen-typing, katagoria, affinescript, ephapax… CodeQL Security Analysis #61: Commit efb5196 pushed by hyperpolymath
1m 0s main
main
1m 0s
docs(abi): add README explaining two-subtree structure of src/abi/ CodeQL Security Analysis #60: Commit c190a7d pushed by hyperpolymath
58s main
main
58s
docs(dual-role): document two first-class roles, pipeline position, a… CodeQL Security Analysis #59: Commit 8352e75 pushed by hyperpolymath
1m 2s main
main
1m 2s
docs: Linguist classification + Language Identity roadmap section CodeQL Security Analysis #58: Commit 423d6f5 pushed by hyperpolymath
59s main
main
59s
CodeQL Security Analysis CodeQL Security Analysis #57: Scheduled
56s main
main
56s
refactor(rename): VQL → VCL + verisimdb → verisim CodeQL Security Analysis #56: Commit a47c1c4 pushed by hyperpolymath
3m 43s main
main
3m 43s
ci: deploy dogfood-gate and CRG test improvements (#6) CodeQL Security Analysis #55: Commit 26ed835 pushed by hyperpolymath
6h 23m 51s main
main
6h 23m 51s
ci: deploy dogfood-gate and CRG test improvements CodeQL Security Analysis #54: Pull request #6 synchronize by hyperpolymath
5h 8m 55s dogfooding-ci-20260404
dogfooding-ci-20260404
5h 8m 55s
ci: add E2E validation tests (53 checks, 12 type-safety levels) CodeQL Security Analysis #53: Commit b3fb584 pushed by hyperpolymath
5h 17m 51s main
main
5h 17m 51s
test: add E2E structural validation and CI workflow for typed-wasm CodeQL Security Analysis #52: Pull request #7 opened by hyperpolymath
5h 9m 13s feat/e2e-validation-tests
feat/e2e-validation-tests
5h 9m 13s
ci: deploy dogfood-gate and CRG test improvements CodeQL Security Analysis #51: Pull request #6 opened by hyperpolymath
2h 26m 19s dogfooding-ci-20260404
dogfooding-ci-20260404
2h 26m 19s
Consolidate/main 20260403 CodeQL Security Analysis #50: Pull request #5 opened by hyperpolymath
1m 5s consolidate/main-20260403
consolidate/main-20260403
1m 5s
Snapshot local work before sync CodeQL Security Analysis #49: Pull request #4 opened by hyperpolymath
1m 3s snapshot-20260402-typed-wasm
snapshot-20260402-typed-wasm
1m 3s
fix(rhodibot): automated RSR compliance fixes CodeQL Security Analysis #48: Pull request #2 synchronize by hyperpolymath
1m 4s rhodibot/rsr-compliance-20260330
rhodibot/rsr-compliance-20260330
1m 4s
test: add fast-check fuzz oracle CodeQL Security Analysis #47: Pull request #3 opened by hyperpolymath
1m 7s fix/scorecard-cleanup
fix/scorecard-cleanup
1m 7s
fix(rhodibot): automated RSR compliance fixes CodeQL Security Analysis #46: Pull request #2 synchronize by hyperpolymath
1m 4s rhodibot/rsr-compliance-20260330
rhodibot/rsr-compliance-20260330
1m 4s
fix(rhodibot): automated RSR compliance fixes CodeQL Security Analysis #45: Pull request #2 synchronize by hyperpolymath
1m 6s rhodibot/rsr-compliance-20260330
rhodibot/rsr-compliance-20260330
1m 6s
ProTip! You can narrow down the results and go further in time using created:<2026-04-02 or the other filters available.