CodeQL Security Analysis

codeql.yml

1594 workflow runs

feat(affine-vscode): implement withProgressNotification runtime adapt…
cancelled:
CodeQL Security Analysis#419:Commit22d7dbcpushedbyhyperpolymath
main
May 18, 20269m 23s
feat(affine-vscode): implement withProgressNotification runtime adapter (#212)
completed successfully:
CodeQL Security Analysis#418:Pull request#213openedbyhyperpolymath
stage-c/wpn-212
May 18, 202614h 24m 32s
feat(stdlib): add jsonField extern for minimal JSON field extraction …
cancelled:
CodeQL Security Analysis#417:Commitd620b41pushedbyhyperpolymath
main
May 18, 202626m 22s
feat(stdlib): jsonField extern for minimal JSON field extraction
completed successfully:
CodeQL Security Analysis#416:Pull request#211openedbyhyperpolymath
pr5db/json-field
May 18, 202613h 18m 13s
CodeQL Security Analysis
cancelled:
CodeQL Security Analysis#415:Scheduled
main
May 18, 20263m 36s
docs(effects): re-land v1 SPEC rule + effect.ml comment fix (Refs #59…
cancelled:
CodeQL Security Analysis#414:Commit0a4692apushedbyhyperpolymath
main
May 18, 20264m 21s
feat(stdlib): add httpPostJson async-extern for out-of-process JSON P…
cancelled:
CodeQL Security Analysis#413:Commit464765epushedbyhyperpolymath
main
May 18, 20262m 21s
feat(stdlib): httpPostJson async-extern for out-of-process JSON POST
completed successfully:
CodeQL Security Analysis#412:Pull request#210openedbyhyperpolymath
pr5db/http-post-json
May 18, 202612h 46m 4s
docs(effects): re-land v1 SPEC rule + effect.ml comment (#207 follow-up, Refs #59)
completed successfully:
CodeQL Security Analysis#411:Pull request#209openedbyhyperpolymath
docs/effects-v1-spec-59
May 18, 202612h 43m 29s
harden(ci): concurrency-cancel guard on canonical check workflows (#208)
cancelled:
CodeQL Security Analysis#410:Commit73f16b9pushedbyhyperpolymath
main
May 18, 20268m 50s
harden(ci): concurrency-cancel guard on canonical check workflows
completed successfully:
CodeQL Security Analysis#409:Pull request#208openedbyhyperpolymath
harden/ci-concurrency-estate-2026-05-18
May 18, 20268h 2m 8s
feat(effects): infer Partial from catch-less try/?; check vs declared…
completed successfully:
CodeQL Security Analysis#408:Commitc5c7272pushedbyhyperpolymath
main
May 18, 20265h 19m 46s
feat(effects): infer Partial from catch-less try/? + check vs declared row (Refs #59)
completed successfully:
CodeQL Security Analysis#407:Pull request#207openedbyhyperpolymath
feat/effects-partial-inference-59
May 18, 20265h 20m 13s
docs(history): mark STDLIB-AOT-TRIAGE closed — #128/#131-138 delivere…
completed successfully:
CodeQL Security Analysis#406:Commit0925261pushedbyhyperpolymath
main
May 18, 20265h 29m 24s
feat(thenable): wasm-path thenable-resolution primitives (Closes #205…
completed successfully:
CodeQL Security Analysis#405:Commitb97b78fpushedbyhyperpolymath
main
May 18, 20265h 36m 16s
feat(thenable): wasm-path thenable-resolution primitives (Closes #205)
completed successfully:
CodeQL Security Analysis#404:Pull request#206openedbyhyperpolymath
stage-b/wasm-thenable-resolution
May 18, 20265h 30m 26s
feat(effects): thread parametric Throws[E] type argument (Refs #59) (…
completed successfully:
CodeQL Security Analysis#403:Commit9f8a6edpushedbyhyperpolymath
main
May 18, 20265h 36m 13s
feat(effects): thread parametric Throws[E] type argument (Refs #59)
completed successfully:
CodeQL Security Analysis#402:Pull request#204openedbyhyperpolymath
stage-b/parametric-throws
May 18, 20265h 36m 43s
refactor(effects): rename stdlib io/state/exn→IO/Mut/Throws, retire a…
completed successfully:
CodeQL Security Analysis#401:Commitad50525pushedbyhyperpolymath
main
May 18, 20265h 41m 9s
refactor(effects): rename stdlib io/state/exn→IO/Mut/Throws, retire aliases (Refs #59)
completed successfully:
CodeQL Security Analysis#400:Pull request#203openedbyhyperpolymath
stage-b/stdlib-effect-rename
May 18, 20265h 40m 28s
fix(affine-vscode): marshal closure-pointer handlers, not table indic…
completed successfully:
CodeQL Security Analysis#399:Commitab810cbpushedbyhyperpolymath
main
May 18, 20265h 38m 43s
fix(affine-vscode): marshal closure-pointer handlers, not table indices (Refs #199)
completed successfully:
CodeQL Security Analysis#398:Pull request#202openedbyhyperpolymath
stage-b/wasm-fnvalue-marshalling
May 18, 20265h 38m 58s
feat(vscode): function-value callback ABI — registerCommand/onDidSave…
completed successfully:
CodeQL Security Analysis#397:Commit1e7dfc7pushedbyhyperpolymath
main
May 18, 20265h 44m 17s
feat(vscode): function-value callback ABI — registerCommand/onDidSave/withProgress (Refs #199)
completed successfully:
CodeQL Security Analysis#396:Pull request#201openedbyhyperpolymath
stage-b/fn-value-callback-abi
May 18, 20265h 57m 6s
feat(affine-vscode): languageClientSendRequest host binding (Refs #10…
completed successfully:
CodeQL Security Analysis#395:Commit42e6e2bpushedbyhyperpolymath
main
May 18, 20266h 3m 36s

Navigation Menu

CodeQL Security Analysis

1594 workflow runs

feat(affine-vscode): implement withProgressNotification runtime adapt…

feat(affine-vscode): implement withProgressNotification runtime adapter (#212)

feat(stdlib): add jsonField extern for minimal JSON field extraction …

feat(stdlib): jsonField extern for minimal JSON field extraction

CodeQL Security Analysis

docs(effects): re-land v1 SPEC rule + effect.ml comment fix (Refs #59…

feat(stdlib): add httpPostJson async-extern for out-of-process JSON P…

feat(stdlib): httpPostJson async-extern for out-of-process JSON POST

docs(effects): re-land v1 SPEC rule + effect.ml comment (#207 follow-up, Refs #59)

harden(ci): concurrency-cancel guard on canonical check workflows (#208)

harden(ci): concurrency-cancel guard on canonical check workflows

feat(effects): infer Partial from catch-less try/?; check vs declared…

feat(effects): infer Partial from catch-less try/? + check vs declared row (Refs #59)

docs(history): mark STDLIB-AOT-TRIAGE closed — #128/#131-138 delivere…

feat(thenable): wasm-path thenable-resolution primitives (Closes #205…

feat(thenable): wasm-path thenable-resolution primitives (Closes #205)

feat(effects): thread parametric Throws[E] type argument (Refs #59) (…

feat(effects): thread parametric Throws[E] type argument (Refs #59)

refactor(effects): rename stdlib io/state/exn→IO/Mut/Throws, retire a…

refactor(effects): rename stdlib io/state/exn→IO/Mut/Throws, retire aliases (Refs #59)

fix(affine-vscode): marshal closure-pointer handlers, not table indic…

fix(affine-vscode): marshal closure-pointer handlers, not table indices (Refs #199)

feat(vscode): function-value callback ABI — registerCommand/onDidSave…

feat(vscode): function-value callback ABI — registerCommand/onDidSave/withProgress (Refs #199)

feat(affine-vscode): languageClientSendRequest host binding (Refs #10…

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

1594 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.