Skip to content

Actions: hyperpolymath/typed-wasm

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
573 workflow runs
573 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: 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
feat(verify): add tw-verify CLI for standalone wasm verification CodeQL Security Analysis #369: Pull request #143 opened by hyperpolymath
7h 0m 10s claude/kind-lovelace-twRRg-1-tw-verify-cli
claude/kind-lovelace-twRRg-1-tw-verify-cli
7h 0m 10s
Phase 1: human-readable error messages (#126) + producer docs/config … CodeQL Security Analysis #368: Commit e323f7c pushed by hyperpolymath
58m 11s main
main
58m 11s
Phase 1: human-readable error messages (#126) + producer docs/config wrap-up CodeQL Security Analysis #367: Pull request #142 opened by hyperpolymath
7h 4m 20s claude/tender-allen-xzjBQ
claude/tender-allen-xzjBQ
7h 4m 20s
Phase 1: example 03 (L7–L10) coverage + wasm name section (#141) CodeQL Security Analysis #366: Commit a66b13a pushed by hyperpolymath
6h 0m 27s main
main
6h 0m 27s
Phase 1: example 03 (L7–L10) coverage + wasm name section (#127, #129) CodeQL Security Analysis #365: Pull request #141 opened by hyperpolymath
12h 44m 42s claude/tender-allen-xzjBQ
claude/tender-allen-xzjBQ
12h 44m 42s
Phase 1: multi-module codegen at verifier parity (#139) CodeQL Security Analysis #364: Commit 55a105f pushed by hyperpolymath
12m 17s main
main
12m 17s
chore(deno): drop root package.json stub (standards#253) (#133) CodeQL Security Analysis #363: Commit d8ea28d pushed by hyperpolymath
1m 51s main
main
1m 51s
Phase 1: multi-module codegen at verifier parity (#128) CodeQL Security Analysis #362: Pull request #139 opened by hyperpolymath
12h 44m 39s claude/tender-allen-xzjBQ
claude/tender-allen-xzjBQ
12h 44m 39s
Phase 1: codegen v0 producer + WAT + ADR-0004 (#134) CodeQL Security Analysis #361: Commit 033d1c2 pushed by hyperpolymath
14m 34s main
main
14m 34s
Phase 1: codegen v0 — first in-tree .twasm → .wasm producer (+ ADR-0004) CodeQL Security Analysis #360: Pull request #134 synchronize by hyperpolymath
12h 52m 12s claude/tender-allen-xzjBQ
claude/tender-allen-xzjBQ
12h 52m 12s
chore(session): Claude config + ADR-0004 for maa-framework #84 vendor… CodeQL Security Analysis #359: Commit 4b0030a pushed by hyperpolymath
2m 24s main
main
2m 24s
chore(session): Claude config + ADR-0004 for maa-framework #84 vendor audit CodeQL Security Analysis #358: Pull request #138 synchronize by hyperpolymath
12h 51m 42s claude/chore-session-cleanup
claude/chore-session-cleanup
12h 51m 42s
chore(session): Claude config + ADR-0004 for maa-framework #84 vendor audit CodeQL Security Analysis #357: Pull request #138 opened by hyperpolymath
1m 0s claude/chore-session-cleanup
claude/chore-session-cleanup
1m 0s
docs(issue-84): validated conversion bundle for maa-framework submodu… CodeQL Security Analysis #356: Commit ae66774 pushed by hyperpolymath
12m 27s main
main
12m 27s
docs(issue-84): validated conversion bundle for maa-framework submodule swap CodeQL Security Analysis #355: Pull request #137 synchronize by hyperpolymath
12h 58m 51s claude/issue-84-artifacts
claude/issue-84-artifacts
12h 58m 51s
docs(issue-84): validated conversion bundle for maa-framework submodule swap CodeQL Security Analysis #354: Pull request #137 synchronize by hyperpolymath
1m 51s claude/issue-84-artifacts
claude/issue-84-artifacts
1m 51s
docs: park maa-framework #84 resolution (absolute-zero vendor-copy au… CodeQL Security Analysis #353: Commit 334c0ac pushed by hyperpolymath
24m 47s main
main
24m 47s
feat(codegen): codegen v0 — twasmc emits verifier-accepted wasm for example 01 (closes #48 gate 2) CodeQL Security Analysis #352: Pull request #136 opened by hyperpolymath
13h 0m 6s claude/kind-lovelace-twRRg
claude/kind-lovelace-twRRg
13h 0m 6s
docs: park maa-framework #84 resolution (absolute-zero vendor-copy audit) CodeQL Security Analysis #351: Pull request #135 synchronize by hyperpolymath
13h 0m 49s claude/dazzling-johnson-4rgXi
claude/dazzling-johnson-4rgXi
13h 0m 49s
docs: park maa-framework #84 resolution (absolute-zero vendor-copy audit) CodeQL Security Analysis #350: Pull request #135 opened by hyperpolymath
2m 13s claude/dazzling-johnson-4rgXi
claude/dazzling-johnson-4rgXi
2m 13s
Phase 1: codegen v0 — first in-tree .twasm → .wasm producer (+ ADR-0004) CodeQL Security Analysis #349: Pull request #134 synchronize by hyperpolymath
42m 58s claude/tender-allen-xzjBQ
claude/tender-allen-xzjBQ
42m 58s