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
proof(p3.2): A16 — typed ProgressiveCheckW + progressive-order monotonicity CodeQL Security Analysis #423: Pull request #158 synchronize by hyperpolymath
1m 0s proof/progressive-check-typed
proof/progressive-check-typed
1m 0s
proof(verifier-spec): ADR-0005 — MkTrustedFixture audit boundary (clo… CodeQL Security Analysis #422: Commit ae92b19 pushed by hyperpolymath
1m 6s main
main
1m 6s
proof(verifier-spec): ADR-0005 — MkTrustedFixture audit boundary (closes #103) CodeQL Security Analysis #421: Pull request #155 synchronize by hyperpolymath
1m 11s proof/verifier-spec-adr-103
proof/verifier-spec-adr-103
1m 11s
proof(p3.2): A16 — typed ProgressiveCheckW + progressive-order monotonicity CodeQL Security Analysis #420: Pull request #158 synchronize by hyperpolymath
1m 5s proof/progressive-check-typed
proof/progressive-check-typed
1m 5s
chore: rename agent_instructions to bot_directives for spec alignment CodeQL Security Analysis #419: Commit 459fc37 pushed by hyperpolymath
1m 12s main
main
1m 12s
chore(deps): bump the actions group with 2 updates (#160) CodeQL Security Analysis #418: Commit 6964483 pushed by hyperpolymath
1m 30s main
main
1m 30s
chore(deps): bump the actions group with 2 updates CodeQL Security Analysis #417: Pull request #160 opened by dependabot Bot
56s dependabot/github_actions/actions-882fedbe01
dependabot/github_actions/actions-882fedbe01
56s
Merge branch 'main' of github.com:hyperpolymath/typed-wasm CodeQL Security Analysis #416: Commit 8a0beba pushed by hyperpolymath
1m 18s main
main
1m 18s
feat(verify): human-readable error messages + grouped tw-verify outpu… CodeQL Security Analysis #415: Commit 045c070 pushed by hyperpolymath
1m 0s main
main
1m 0s
feat(verify): human-readable error messages + grouped tw-verify output (refs #126 — source-line resolution defers to #129) CodeQL Security Analysis #414: Pull request #159 synchronize by hyperpolymath
1m 16s feat/human-readable-errors
feat/human-readable-errors
1m 16s
proof(epistemic): pin Fresh to FieldVersion (A14, closes #102) + comp… CodeQL Security Analysis #413: Commit b45e01e pushed by hyperpolymath
20s main
main
20s
proof(epistemic): pin Fresh to FieldVersion (A14, closes #102) + composeWitness fix CodeQL Security Analysis #412: Pull request #152 synchronize by hyperpolymath
1m 14s proof/epistemic-fresh-pin-102
proof/epistemic-fresh-pin-102
1m 14s
ci: name IR-level round-trip corpus step explicitly (refs #130 — surf… CodeQL Security Analysis #411: Commit 7de6709 pushed by hyperpolymath
24s main
main
24s
ci: name IR-level round-trip corpus step explicitly (refs #130 — surface .twasm corpus blocked on #127) CodeQL Security Analysis #410: Pull request #157 synchronize by hyperpolymath
1m 18s feat/wire-ir-corpus-ci
feat/wire-ir-corpus-ci
1m 18s
test(verify): cover L13 imported-table isolation path (refs #35) (#156) CodeQL Security Analysis #409: Commit 32fa0a9 pushed by hyperpolymath
24s main
main
24s
proof(epistemic): pin Fresh to FieldVersion (A14, closes #102) + composeWitness fix CodeQL Security Analysis #408: Pull request #152 synchronize by hyperpolymath
1m 8s proof/epistemic-fresh-pin-102
proof/epistemic-fresh-pin-102
1m 8s
feat(verify): human-readable error messages + grouped tw-verify output (refs #126 — source-line resolution defers to #129) CodeQL Security Analysis #407: Pull request #159 synchronize by hyperpolymath
1m 2s feat/human-readable-errors
feat/human-readable-errors
1m 2s
ci: name IR-level round-trip corpus step explicitly (refs #130 — surface .twasm corpus blocked on #127) CodeQL Security Analysis #406: Pull request #157 synchronize by hyperpolymath
1m 8s feat/wire-ir-corpus-ci
feat/wire-ir-corpus-ci
1m 8s
test(verify): cover L13 imported-table isolation path (refs #35) CodeQL Security Analysis #405: Pull request #156 synchronize by hyperpolymath
1m 5s feat/l13-imported-table-test
feat/l13-imported-table-test
1m 5s
feat(verify): L13 region-imports codec + self-consistency pass (propo… CodeQL Security Analysis #404: Commit 1ba8538 pushed by hyperpolymath
1m 10s main
main
1m 10s
feat(verify): L13 region-imports codec + self-consistency pass (proposal 0003) CodeQL Security Analysis #403: Pull request #154 synchronize by hyperpolymath
1m 16s feat/region-imports-verifier-pass
feat/region-imports-verifier-pass
1m 16s
docs(proof-needs): 2026-06-02 reconciliation — five silent P0/P1 clos… CodeQL Security Analysis #402: Commit 1acac8f pushed by hyperpolymath
37s main
main
37s
proof(epistemic): pin Fresh to FieldVersion (A14, closes #102) + composeWitness fix CodeQL Security Analysis #401: Pull request #152 synchronize by hyperpolymath
58s proof/epistemic-fresh-pin-102
proof/epistemic-fresh-pin-102
58s
feat(verify): human-readable error messages + grouped tw-verify output (refs #126 — source-line resolution defers to #129) CodeQL Security Analysis #400: Pull request #159 opened by hyperpolymath
1m 5s feat/human-readable-errors
feat/human-readable-errors
1m 5s
ci: name IR-level round-trip corpus step explicitly (refs #130 — surface .twasm corpus blocked on #127) CodeQL Security Analysis #399: Pull request #157 opened by hyperpolymath
1m 1s feat/wire-ir-corpus-ci
feat/wire-ir-corpus-ci
1m 1s