CodeQL Security Analysis

codeql.yml

1137 workflow runs

build(deps): bump wasmtime from 36.0.7 to 36.0.8 in the cargo group a…
completed successfully:
CodeQL Security Analysis#312:Commit4eadd63pushedbyhyperpolymath
main
May 11, 20261m 17s
build(deps): bump wasmtime from 36.0.7 to 36.0.8 in the cargo group across 1 directory
completed successfully:
CodeQL Security Analysis#311:Pull request#42openedbydependabot[bot]Bot
dependabot/cargo/cargo-d5851d055a
May 11, 20265m 1s
build(deps): bump openssl from 0.10.78 to 0.10.79 in the cargo group …
completed successfully:
CodeQL Security Analysis#310:Commit4c74f7fpushedbyhyperpolymath
main
May 11, 20267m 17s
build(deps): bump openssl from 0.10.78 to 0.10.79 in the cargo group across 1 directory
completed successfully:
CodeQL Security Analysis#309:Pull request#41openedbydependabot[bot]Bot
dependabot/cargo/cargo-4410b433dd
May 6, 20261m 14s
CodeQL Security Analysis
completed successfully:
CodeQL Security Analysis#308:Scheduled
main
May 4, 20261m 52s
ci(antipattern): fix top-level dir + benchmark/lsp filename matching …
completed successfully:
CodeQL Security Analysis#307:Commit2511aedpushedbyhyperpolymath
main
May 3, 20261h 22m 4s
ci(antipattern): fix top-level dir + benchmark/lsp filename matching
completed successfully:
CodeQL Security Analysis#306:Pull request#40openedbyhyperpolymath
ci/antipattern-dynamic-exemptions-v3-1
May 3, 20261h 20m 43s
ci(antipattern): TS check reads .claude/CLAUDE.md exemption table (#39)
completed successfully:
CodeQL Security Analysis#305:Commitb3855a8pushedbyhyperpolymath
main
May 3, 202626m 20s
ci(antipattern): TS check reads .claude/CLAUDE.md exemption table
completed successfully:
CodeQL Security Analysis#304:Pull request#39openedbyhyperpolymath
ci/antipattern-dynamic-exemptions
May 3, 202624m 52s
ci(antipattern): broaden TS allowlist (cli, mod.ts, lsp-server, *vsco…
completed successfully:
CodeQL Security Analysis#303:Commitc870ce4pushedbyhyperpolymath
main
May 3, 20261h 36m 8s
ci(antipattern): broaden TS allowlist (cli, mod.ts, lsp-server, *vscode*, deno-*)
completed successfully:
CodeQL Security Analysis#302:Pull request#38openedbyhyperpolymath
ci/antipattern-allowlist-v2
May 3, 20261h 36m 37s
ci(antipattern): allowlist legit TS bridge/adapter paths (#37)
completed successfully:
CodeQL Security Analysis#301:Commitc756444pushedbyhyperpolymath
main
May 3, 202622m 24s
ci(antipattern): allowlist legit TS bridge/adapter paths
completed successfully:
CodeQL Security Analysis#300:Pull request#37openedbyhyperpolymath
ci/antipattern-allowlist-bridges
May 3, 202621m 52s
proof(formal): close preservation theorem — zero Admitted (#35)
completed successfully:
CodeQL Security Analysis#299:Commitef9c91fpushedbyhyperpolymath
main
Apr 27, 20261h 2m 24s
proof(formal): close preservation theorem — zero Admitted
completed successfully:
CodeQL Security Analysis#298:Pull request#35synchronizebyhyperpolymath
proof/close-preservation-admits
Apr 27, 20261h 3m 26s
proof(formal): close L3009 admit + 2 reusable region lemmas + chore (…
completed successfully:
CodeQL Security Analysis#297:Commit9a4bfdcpushedbyhyperpolymath
main
Apr 27, 20261h 1m 51s
proof(formal): close L3009 admit + 2 reusable region lemmas + chore
completed successfully:
CodeQL Security Analysis#296:Pull request#34openedbyhyperpolymath
fix/expect-todo-sweep
Apr 27, 202659m 46s
fix(deps): bump openssl 0.10.76 -> 0.10.78 (5 dependabot alerts) (#33)
completed successfully:
CodeQL Security Analysis#295:Commitd62b827pushedbyhyperpolymath
main
Apr 27, 20261m 10s
fix(deps): bump openssl 0.10.76 -> 0.10.78 (5 dependabot alerts)
completed successfully:
CodeQL Security Analysis#294:Pull request#33openedbyhyperpolymath
fix/openssl-deps
Apr 27, 20261m 23s
CodeQL Security Analysis
completed successfully:
CodeQL Security Analysis#293:Scheduled
main
Apr 27, 20261m 15s
fix(ephapax): sweep .expect("TODO: handle error") — 116 sites (#32)
completed successfully:
CodeQL Security Analysis#292:Commita1fd5bbpushedbyhyperpolymath
main
Apr 26, 20261m 8s
fix(ephapax): sweep .expect("TODO: handle error") — 116 sites
completed successfully:
CodeQL Security Analysis#291:Pull request#32openedbyhyperpolymath
fix/expect-todo-sweep
Apr 26, 20261m 1s
build(deps): bump openssl from 0.10.76 to 0.10.78 in the cargo group across 1 directory
completed successfully:
CodeQL Security Analysis#290:Pull request#31openedbydependabot[bot]Bot
dependabot/cargo/cargo-1a59d422c9
Apr 23, 20261m 0s
build(deps): bump rustls-webpki from 0.103.10 to 0.103.13 in the carg…
completed successfully:
CodeQL Security Analysis#289:Commit1792e4apushedbyhyperpolymath
main
Apr 22, 20261m 11s
build(deps): bump rustls-webpki from 0.103.10 to 0.103.13 in the cargo group across 1 directory
completed successfully:
CodeQL Security Analysis#288:Pull request#30openedbydependabot[bot]Bot
dependabot/cargo/cargo-8056535635
Apr 22, 20261m 10s

Navigation Menu

CodeQL Security Analysis

1137 workflow runs

build(deps): bump wasmtime from 36.0.7 to 36.0.8 in the cargo group a…

build(deps): bump wasmtime from 36.0.7 to 36.0.8 in the cargo group across 1 directory

build(deps): bump openssl from 0.10.78 to 0.10.79 in the cargo group …

build(deps): bump openssl from 0.10.78 to 0.10.79 in the cargo group across 1 directory

CodeQL Security Analysis

ci(antipattern): fix top-level dir + benchmark/lsp filename matching …

ci(antipattern): fix top-level dir + benchmark/lsp filename matching

ci(antipattern): TS check reads .claude/CLAUDE.md exemption table (#39)

ci(antipattern): TS check reads .claude/CLAUDE.md exemption table

ci(antipattern): broaden TS allowlist (cli, mod.ts, lsp-server, *vsco…

ci(antipattern): broaden TS allowlist (cli, mod.ts, lsp-server, vscode, deno-*)

ci(antipattern): allowlist legit TS bridge/adapter paths (#37)

ci(antipattern): allowlist legit TS bridge/adapter paths

proof(formal): close preservation theorem — zero Admitted (#35)

proof(formal): close preservation theorem — zero Admitted

proof(formal): close L3009 admit + 2 reusable region lemmas + chore (…

proof(formal): close L3009 admit + 2 reusable region lemmas + chore

fix(deps): bump openssl 0.10.76 -> 0.10.78 (5 dependabot alerts) (#33)

fix(deps): bump openssl 0.10.76 -> 0.10.78 (5 dependabot alerts)

CodeQL Security Analysis

fix(ephapax): sweep .expect("TODO: handle error") — 116 sites (#32)

fix(ephapax): sweep .expect("TODO: handle error") — 116 sites

build(deps): bump openssl from 0.10.76 to 0.10.78 in the cargo group across 1 directory

build(deps): bump rustls-webpki from 0.103.10 to 0.103.13 in the carg…

build(deps): bump rustls-webpki from 0.103.10 to 0.103.13 in the cargo group across 1 directory

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.