Skip to content

Actions: hyperpolymath/ephapax

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
871 workflow runs
871 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: record typed-wasm-verify integration (C6/C7) in repo-level docs CodeQL Security Analysis #346: Pull request #73 opened by hyperpolymath
1m 12s chore/docs-c6-c7
chore/docs-c6-c7
1m 12s
wasm: nested constructor patterns in match arm args (#68) (#71) CodeQL Security Analysis #345: Commit de436bd pushed by hyperpolymath
1m 8s main
main
1m 8s
typing: full Maranget usefulness for match exhaustiveness (#66) (#69) CodeQL Security Analysis #344: Commit 426e188 pushed by hyperpolymath
1m 7s main
main
1m 7s
wasm: nested constructor patterns in match arm args (#68) CodeQL Security Analysis #343: Pull request #71 synchronize by hyperpolymath
59s feat/wasm-nested-patterns
feat/wasm-nested-patterns
59s
feat(cli): --verify-ownership flag on ephapax compile (C7) (#72) CodeQL Security Analysis #342: Commit a1f1c60 pushed by hyperpolymath
1m 16s main
main
1m 16s
feat(cli): --verify-ownership flag on ephapax compile (C7) CodeQL Security Analysis #341: Pull request #72 opened by hyperpolymath
1m 10s feat/cli-verify-ownership-flag
feat/cli-verify-ownership-flag
1m 10s
feat(wasm): emit affinescript.ownership custom section (C6) (#70) CodeQL Security Analysis #340: Commit 06eebb2 pushed by hyperpolymath
1m 12s main
main
1m 12s
feat(wasm): emit affinescript.ownership custom section (C6) CodeQL Security Analysis #339: Pull request #70 opened by hyperpolymath
57s feat/ownership-section-emission
feat/ownership-section-emission
57s
typing: full Maranget usefulness for match exhaustiveness (#66) CodeQL Security Analysis #338: Pull request #69 opened by hyperpolymath
1m 1s feat/maranget-usefulness
feat/maranget-usefulness
1m 1s
feat(typing,interp,linear,wasm): core ExprKind::Match — typing + inte… CodeQL Security Analysis #337: Commit b9b071d pushed by hyperpolymath
1m 7s main
main
1m 7s
feat(typing,interp,linear,wasm): core ExprKind::Match — typing + interp + N-arm linearity + br_table codegen CodeQL Security Analysis #336: Pull request #65 opened by hyperpolymath
1m 4s feat/core-match-typing-codegen
feat/core-match-typing-codegen
1m 4s
feat(syntax,parser): core match_expr dispatch + Pattern AST (#61) (#64) CodeQL Security Analysis #335: Commit a2f8f06 pushed by hyperpolymath
1m 9s main
main
1m 9s
feat(syntax,parser): core match_expr dispatch + Pattern AST (#61) CodeQL Security Analysis #334: Pull request #64 synchronize by hyperpolymath
1m 2s feat/core-match-expr
feat/core-match-expr
1m 2s
feat(syntax,parser): Decl::Data variant + match-site audit (#60) (#63) CodeQL Security Analysis #333: Commit bfbfdbf pushed by hyperpolymath
1m 13s main
main
1m 13s
feat(parser): surface walker extracts import_decl (#59) (#62) CodeQL Security Analysis #332: Commit c06c821 pushed by hyperpolymath
1m 8s main
main
1m 8s
feat(syntax,parser): core match_expr dispatch + Pattern AST (#61) CodeQL Security Analysis #331: Pull request #64 opened by hyperpolymath
1m 20s feat/core-match-expr
feat/core-match-expr
1m 20s
feat(syntax,parser): Decl::Data variant + match-site audit (#60) CodeQL Security Analysis #330: Pull request #63 opened by hyperpolymath
1m 54s feat/decl-data-variant
feat/decl-data-variant
1m 54s
feat(parser): surface walker extracts import_decl (#59) CodeQL Security Analysis #329: Pull request #62 opened by hyperpolymath
1m 4s feat/surface-import-walker
feat/surface-import-walker
1m 4s
feat(wasm): emit extern fn imports + direct calls (clean v2 — replace… CodeQL Security Analysis #328: Commit 931cae5 pushed by hyperpolymath
7m 50s main
main
7m 50s
feat(wasm): emit extern fn imports + direct calls (clean v2 — replaces #56) CodeQL Security Analysis #327: Pull request #58 opened by hyperpolymath
8m 24s feat/extern-wasm-v2
feat/extern-wasm-v2
8m 24s
feat(typing,desugar): typecheck extern items (clean v2 — replaces #55… CodeQL Security Analysis #326: Commit 0b53944 pushed by hyperpolymath
8m 52s main
main
8m 52s
feat(typing,desugar): typecheck extern items (clean v2 — replaces #55) CodeQL Security Analysis #325: Pull request #57 opened by hyperpolymath
8m 14s feat/extern-typecheck-v2
feat/extern-typecheck-v2
8m 14s
feat(parser,desugar): extern abi blocks (clean — replaces #47/#53) (#54) CodeQL Security Analysis #324: Commit a0820ba pushed by hyperpolymath
59m 10s main
main
59m 10s
feat(parser,desugar): extern abi blocks (clean — replaces #47/#53) CodeQL Security Analysis #323: Pull request #54 opened by hyperpolymath
55m 41s feat/extern-blocks-fresh
feat/extern-blocks-fresh
55m 41s
feat(parser): admit slash-separated module paths (v2 grammar, step 1 … CodeQL Security Analysis #322: Commit 38e17f4 pushed by hyperpolymath
1h 9m 24s main
main
1h 9m 24s
ProTip! You can narrow down the results and go further in time using created:<2026-05-14 or the other filters available.