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
docs(proof-needs): 2026-06-02 reconciliation — five silent P0/P1 closures + A14 (#102) CodeQL Security Analysis #394: Pull request #153 synchronize by hyperpolymath
58s docs/proof-needs-2026-06-02-reconciliation
docs/proof-needs-2026-06-02-reconciliation
58s
docs(proof-needs): 2026-06-02 reconciliation — five silent P0/P1 closures + A14 (#102) CodeQL Security Analysis #393: Pull request #153 opened by hyperpolymath
1m 5s docs/proof-needs-2026-06-02-reconciliation
docs/proof-needs-2026-06-02-reconciliation
1m 5s
proof(epistemic): pin Fresh to FieldVersion (A14, closes #102) + composeWitness fix CodeQL Security Analysis #392: Pull request #152 opened by hyperpolymath
59s proof/epistemic-fresh-pin-102
proof/epistemic-fresh-pin-102
59s
chore(toolchain): provision OCaml/wasmtime/Deno + migrate harnesses t… CodeQL Security Analysis #391: Commit efccef1 pushed by hyperpolymath
2h 28m 52s main
main
2h 28m 52s
ci: bump a2ml-validate-action to 6bff6ec (s-expression form support) … CodeQL Security Analysis #390: Commit f6a9e92 pushed by hyperpolymath
22m 42s main
main
22m 42s
ci: bump a2ml-validate-action to 6bff6ec (s-expression form support) CodeQL Security Analysis #389: Pull request #151 opened by hyperpolymath
2h 28m 57s ci/bump-a2ml-validate-action-sexpr-support
ci/bump-a2ml-validate-action-sexpr-support
2h 28m 57s
chore(toolchain): provision OCaml/wasmtime/Deno + migrate harnesses to Deno (#133/#253) CodeQL Security Analysis #388: Pull request #150 synchronize by hyperpolymath
1m 5s claude/tender-allen-xzjBQ
claude/tender-allen-xzjBQ
1m 5s
chore(toolchain): provision OCaml/wasmtime/Deno + migrate harnesses to Deno (#133/#253) CodeQL Security Analysis #387: Pull request #150 synchronize by hyperpolymath
59s claude/tender-allen-xzjBQ
claude/tender-allen-xzjBQ
59s
chore(toolchain): provision OCaml/wasmtime/Deno + migrate harnesses to Deno (#133/#253) CodeQL Security Analysis #386: Pull request #150 opened by hyperpolymath
1m 0s claude/tender-allen-xzjBQ
claude/tender-allen-xzjBQ
1m 0s
CodeQL Security Analysis CodeQL Security Analysis #385: Scheduled
1m 2s main
main
1m 2s
Phase 1: capstone "run on Wasmtime" gate + memory export (#132) (#149) CodeQL Security Analysis #384: Commit 4d15643 pushed by hyperpolymath
1m 1s main
main
1m 1s
Phase 1: capstone "run on Wasmtime" gate + memory export (#132) CodeQL Security Analysis #383: Pull request #149 synchronize by hyperpolymath
1m 10s claude/tender-allen-xzjBQ
claude/tender-allen-xzjBQ
1m 10s
Phase 1: capstone "run on Wasmtime" gate + memory export (#132) CodeQL Security Analysis #382: Pull request #149 opened by hyperpolymath
1m 2s claude/tender-allen-xzjBQ
claude/tender-allen-xzjBQ
1m 2s
Phase 1: optimization story — vetted wasm-opt pass list + verifier ga… CodeQL Security Analysis #381: Commit bb38bc0 pushed by hyperpolymath
5h 49m 57s main
main
5h 49m 57s
Phase 1: optimization story — vetted wasm-opt pass list + verifier gate (#131) CodeQL Security Analysis #380: Pull request #148 opened by hyperpolymath
5h 52m 52s claude/tender-allen-xzjBQ
claude/tender-allen-xzjBQ
5h 52m 52s
Phase 1: round-trip soundness property corpus (#130) CodeQL Security Analysis #379: Commit b8ab31f pushed by hyperpolymath
19m 23s main
main
19m 23s
Phase 1: round-trip soundness property corpus (#130) CodeQL Security Analysis #378: Pull request #147 opened by hyperpolymath
6h 4m 17s claude/tender-allen-xzjBQ
claude/tender-allen-xzjBQ
6h 4m 17s
Phase 1: real codegen — layout engine + typed-access lowering (#146) CodeQL Security Analysis #377: Commit 2bad703 pushed by hyperpolymath
10m 42s main
main
10m 42s
Phase 1: real codegen — layout engine + typed-access lowering (harvested from Zig twasmc #136) CodeQL Security Analysis #376: Pull request #146 synchronize by hyperpolymath
6h 11m 43s claude/tender-allen-xzjBQ
claude/tender-allen-xzjBQ
6h 11m 43s
docs: session wrap-up — tw-verify changelog + codegen host-language r… CodeQL Security Analysis #375: Commit 8de427e pushed by hyperpolymath
12m 49s main
main
12m 49s
docs: session wrap-up — tw-verify changelog + codegen host-language report + STATE refresh CodeQL Security Analysis #374: Pull request #145 opened by hyperpolymath
6h 17m 52s claude/kind-lovelace-twRRg-3-wrapup
claude/kind-lovelace-twRRg-3-wrapup
6h 17m 52s
docs: reconcile Phase 0 gate 2 status to the merged Rust codegen (#144) CodeQL Security Analysis #373: Commit 795a307 pushed by hyperpolymath
10m 6s main
main
10m 6s
feat(verify): add tw-verify CLI for standalone wasm verification (#… CodeQL Security Analysis #372: Commit 7980d1a pushed by hyperpolymath
9s main
main
9s
docs: reconcile Phase 0 gate 2 status to the merged Rust codegen (#134) CodeQL Security Analysis #371: Pull request #144 synchronize by hyperpolymath
6h 26m 17s claude/kind-lovelace-twRRg-2-gate2-status
claude/kind-lovelace-twRRg-2-gate2-status
6h 26m 17s
docs: reconcile Phase 0 gate 2 status to the merged Rust codegen (#134) CodeQL Security Analysis #370: Pull request #144 opened by hyperpolymath
41m 29s claude/kind-lovelace-twRRg-2-gate2-status
claude/kind-lovelace-twRRg-2-gate2-status
41m 29s