CodeQL Security Analysis

codeql.yml

1137 workflow runs

feat(typing,interp,linear,wasm): core ExprKind::Match — typing + inte…
completed successfully:
CodeQL Security Analysis#337:Commitb9b071dpushedbyhyperpolymath
main
May 15, 20261m 7s
feat(typing,interp,linear,wasm): core ExprKind::Match — typing + interp + N-arm linearity + br_table codegen
completed successfully:
CodeQL Security Analysis#336:Pull request#65openedbyhyperpolymath
feat/core-match-typing-codegen
May 15, 20261m 4s
feat(syntax,parser): core match_expr dispatch + Pattern AST (#61) (#64)
completed successfully:
CodeQL Security Analysis#335:Commita2f8f06pushedbyhyperpolymath
main
May 15, 20261m 9s
feat(syntax,parser): core match_expr dispatch + Pattern AST (#61)
completed successfully:
CodeQL Security Analysis#334:Pull request#64synchronizebyhyperpolymath
feat/core-match-expr
May 15, 20261m 2s
feat(syntax,parser): Decl::Data variant + match-site audit (#60) (#63)
completed successfully:
CodeQL Security Analysis#333:Commitbfbfdbfpushedbyhyperpolymath
main
May 15, 20261m 13s
feat(parser): surface walker extracts import_decl (#59) (#62)
completed successfully:
CodeQL Security Analysis#332:Commitc06c821pushedbyhyperpolymath
main
May 15, 20261m 8s
feat(syntax,parser): core match_expr dispatch + Pattern AST (#61)
completed successfully:
CodeQL Security Analysis#331:Pull request#64openedbyhyperpolymath
feat/core-match-expr
May 15, 20261m 20s
feat(syntax,parser): Decl::Data variant + match-site audit (#60)
completed successfully:
CodeQL Security Analysis#330:Pull request#63openedbyhyperpolymath
feat/decl-data-variant
May 15, 20261m 54s
feat(parser): surface walker extracts import_decl (#59)
completed successfully:
CodeQL Security Analysis#329:Pull request#62openedbyhyperpolymath
feat/surface-import-walker
May 15, 20261m 4s
feat(wasm): emit extern fn imports + direct calls (clean v2 — replace…
completed successfully:
CodeQL Security Analysis#328:Commit931cae5pushedbyhyperpolymath
main
May 15, 20267m 50s
feat(wasm): emit extern fn imports + direct calls (clean v2 — replaces #56)
completed successfully:
CodeQL Security Analysis#327:Pull request#58openedbyhyperpolymath
feat/extern-wasm-v2
May 15, 20268m 24s
feat(typing,desugar): typecheck extern items (clean v2 — replaces #55…
completed successfully:
CodeQL Security Analysis#326:Commit0b53944pushedbyhyperpolymath
main
May 15, 20268m 52s
feat(typing,desugar): typecheck extern items (clean v2 — replaces #55)
completed successfully:
CodeQL Security Analysis#325:Pull request#57openedbyhyperpolymath
feat/extern-typecheck-v2
May 15, 20268m 14s
feat(parser,desugar): extern abi blocks (clean — replaces #47/#53) (#54)
completed successfully:
CodeQL Security Analysis#324:Commita0820bapushedbyhyperpolymath
main
May 15, 202659m 10s
feat(parser,desugar): extern abi blocks (clean — replaces #47/#53)
completed successfully:
CodeQL Security Analysis#323:Pull request#54openedbyhyperpolymath
feat/extern-blocks-fresh
May 15, 202655m 41s
feat(parser): admit slash-separated module paths (v2 grammar, step 1 …
completed successfully:
CodeQL Security Analysis#322:Commit38e17f4pushedbyhyperpolymath
main
May 14, 20261h 9m 24s
feat: v2 grammar — extern blocks end-to-end + closes #36
completed successfully:
CodeQL Security Analysis#321:Pull request#45synchronizebyhyperpolymath
feat/parser-v2-extern-blocks-slash-paths
May 14, 20262h 23m 58s
feat: v2 grammar — extern blocks end-to-end + closes #36
completed successfully:
CodeQL Security Analysis#320:Pull request#45synchronizebyhyperpolymath
feat/parser-v2-extern-blocks-slash-paths
May 14, 20262h 26m 34s
feat: v2 grammar — extern blocks end-to-end + closes #36
completed successfully:
CodeQL Security Analysis#319:Pull request#45synchronizebyhyperpolymath
feat/parser-v2-extern-blocks-slash-paths
May 14, 20262h 38m 41s
feat(parser): admit slash-separated module paths (v2 grammar, step 1 of #43)
completed successfully:
CodeQL Security Analysis#318:Pull request#46openedbyhyperpolymath
v2-grammar-slash-paths
May 14, 20263h 9m 38s
feat: v2 grammar — extern blocks end-to-end + closes #36
completed successfully:
CodeQL Security Analysis#317:Pull request#45openedbyhyperpolymath
feat/parser-v2-extern-blocks-slash-paths
May 14, 20263h 9m 38s
fix(ci): rsr-antipattern.yml duplicate heredoc (#44)
completed successfully:
CodeQL Security Analysis#316:Commit1061345pushedbyhyperpolymath
main
May 14, 20266h 46m 55s
fix(ci): rsr-antipattern.yml duplicate heredoc
completed successfully:
CodeQL Security Analysis#315:Pull request#44synchronizebyhyperpolymath
fix/ci-rsr-and-setup-beam-2026-05-14
May 14, 20262h 16m 3s
fix(ci): rsr-antipattern.yml duplicate heredoc
completed successfully:
CodeQL Security Analysis#314:Pull request#44openedbyhyperpolymath
fix/ci-rsr-and-setup-beam-2026-05-14
May 14, 202642m 4s
CodeQL Security Analysis
completed successfully:
CodeQL Security Analysis#313:Scheduled
main
May 11, 20261m 52s

Navigation Menu

CodeQL Security Analysis

1137 workflow runs

feat(typing,interp,linear,wasm): core ExprKind::Match — typing + inte…

feat(typing,interp,linear,wasm): core ExprKind::Match — typing + interp + N-arm linearity + br_table codegen

feat(syntax,parser): core match_expr dispatch + Pattern AST (#61) (#64)

feat(syntax,parser): core match_expr dispatch + Pattern AST (#61)

feat(syntax,parser): Decl::Data variant + match-site audit (#60) (#63)

feat(parser): surface walker extracts import_decl (#59) (#62)

feat(syntax,parser): core match_expr dispatch + Pattern AST (#61)

feat(syntax,parser): Decl::Data variant + match-site audit (#60)

feat(parser): surface walker extracts import_decl (#59)

feat(wasm): emit extern fn imports + direct calls (clean v2 — replace…

feat(wasm): emit extern fn imports + direct calls (clean v2 — replaces #56)

feat(typing,desugar): typecheck extern items (clean v2 — replaces #55…

feat(typing,desugar): typecheck extern items (clean v2 — replaces #55)

feat(parser,desugar): extern abi blocks (clean — replaces #47/#53) (#54)

feat(parser,desugar): extern abi blocks (clean — replaces #47/#53)

feat(parser): admit slash-separated module paths (v2 grammar, step 1 …

feat: v2 grammar — extern blocks end-to-end + closes #36

feat: v2 grammar — extern blocks end-to-end + closes #36

feat: v2 grammar — extern blocks end-to-end + closes #36

feat(parser): admit slash-separated module paths (v2 grammar, step 1 of #43)

feat: v2 grammar — extern blocks end-to-end + closes #36

fix(ci): rsr-antipattern.yml duplicate heredoc (#44)

fix(ci): rsr-antipattern.yml duplicate heredoc

fix(ci): rsr-antipattern.yml duplicate heredoc

CodeQL Security Analysis

ProTip! You can narrow down the results and go further in time using the filter or the other filters available.

Workflow runs for CodeQL Security Analysis

1137 workflow runs

ProTip! You can narrow down the results and go further in time using the created: filter or the other filters available.

ProTip! You can narrow down the results and go further in time using the filter or the other filters available.