CodeQL Security Analysis

codeql.yml

415 workflow runs

fix(ci): rsr-antipattern.yml duplicate heredoc
completed successfully:
CodeQL Security Analysis#40:Pull request#13synchronizebyhyperpolymath
fix/ci-rsr-and-setup-beam-2026-05-14
May 14, 20261h 47m 0s
fix(ci): rsr-antipattern.yml duplicate heredoc
completed successfully:
CodeQL Security Analysis#39:Pull request#13openedbyhyperpolymath
fix/ci-rsr-and-setup-beam-2026-05-14
May 14, 202630m 45s
ci: bump actions/upload-artifact SHA to current v4 (#12)
completed successfully:
CodeQL Security Analysis#38:Commitdcaa5ffpushedbyhyperpolymath
main
May 12, 202612h 39m 8s
ci: bump actions/upload-artifact SHA to current v4
completed successfully:
CodeQL Security Analysis#37:Pull request#12openedbyhyperpolymath
ci/bump-upload-artifact-v4-sha-final
May 12, 202612h 41m 46s
ci(secret-scanner): drop duplicate --fail from trufflehog extra_args …
completed successfully:
CodeQL Security Analysis#36:Commitf42ae54pushedbyhyperpolymath
main
May 12, 20265h 29m 28s
ci(secret-scanner): drop duplicate --fail from trufflehog extra_args
completed successfully:
CodeQL Security Analysis#35:Pull request#11openedbyhyperpolymath
ci/trufflehog-drop-duplicate-fail
May 12, 20265h 38m 52s
ci: fix workflow-linter YAML parse error + self-flag bug
completed successfully:
CodeQL Security Analysis#34:Commite9629b7pushedbyhyperpolymath
main
May 12, 202649m 34s
CodeQL Security Analysis
completed successfully:
CodeQL Security Analysis#33:Scheduled
main
May 11, 20261m 18s
chore(deps): bump github/codeql-action in the actions group (#10)
completed successfully:
CodeQL Security Analysis#32:Commitccc9c25pushedbyhyperpolymath
main
May 11, 20262m 33s
chore(deps): bump github/codeql-action from 4.35.3 to 4.35.4 in the actions group
completed successfully:
CodeQL Security Analysis#31:Pull request#10openedbydependabot[bot]Bot
dependabot/github_actions/actions-8abaa2cbc6
May 8, 20261m 12s
CodeQL Security Analysis
completed successfully:
CodeQL Security Analysis#30:Scheduled
main
May 4, 20261m 28s
ci(antipattern): fix top-level dir matching + benchmarks/lsp/bench fi…
completed successfully:
CodeQL Security Analysis#29:Commit039ffa7pushedbyhyperpolymath
main
May 3, 20261h 5m 27s
ci(antipattern): fix top-level dir + benchmark/lsp filename matching
completed successfully:
CodeQL Security Analysis#28:Pull request#9openedbyhyperpolymath
ci/antipattern-dynamic-exemptions-v3-1
May 3, 20261h 2m 23s
ci(antipattern): TS check reads .claude/CLAUDE.md exemption table (#8)
completed successfully:
CodeQL Security Analysis#27:Commit3930f99pushedbyhyperpolymath
main
May 3, 20261m 44s
ci(antipattern): TS check reads .claude/CLAUDE.md exemption table
completed successfully:
CodeQL Security Analysis#26:Pull request#8openedbyhyperpolymath
ci/antipattern-dynamic-exemptions
May 3, 20261m 23s
ci(antipattern): broaden TS allowlist (cli/, mod.ts, lsp-server, *vsc…
completed successfully:
CodeQL Security Analysis#25:Commit7fe5359pushedbyhyperpolymath
main
May 3, 202654m 52s
ci(antipattern): broaden TS allowlist (cli, mod.ts, lsp-server, *vscode*, deno-*)
completed successfully:
CodeQL Security Analysis#24:Pull request#7openedbyhyperpolymath
ci/antipattern-allowlist-v2
May 3, 202654m 54s
ci(antipattern): allowlist legit TS bridge/adapter paths (#6)
completed successfully:
CodeQL Security Analysis#23:Commit8fefeffpushedbyhyperpolymath
main
May 3, 20261m 27s
ci(antipattern): allowlist legit TS bridge/adapter paths
completed successfully:
CodeQL Security Analysis#22:Pull request#6openedbyhyperpolymath
ci/antipattern-allowlist-bridges
May 3, 20263m 20s
chore(deps): bump github/codeql-action in the actions group (#5)
completed successfully:
CodeQL Security Analysis#21:Commit7ebe33fpushedbyhyperpolymath
main
May 3, 20261m 21s
chore(deps): bump github/codeql-action from 4.35.2 to 4.35.3 in the actions group
completed successfully:
CodeQL Security Analysis#20:Pull request#5openedbydependabot[bot]Bot
dependabot/github_actions/actions-937d73b4db
May 2, 202658s
fix(CNO,lib): typecheck CNO.agda under --safe + add agda-lib
completed successfully:
CodeQL Security Analysis#19:Commit0f8b01dpushedbyhyperpolymath
main
Apr 30, 20261m 17s
feat(absolute-zero): complete loadStore_preserves_memory proof — no s…
completed successfully:
CodeQL Security Analysis#18:Commitabd5a3apushedbyhyperpolymath
main
Apr 27, 20261m 12s
CodeQL Security Analysis
completed successfully:
CodeQL Security Analysis#17:Scheduled
main
Apr 27, 20261m 36s
chore(deps): bump trufflesecurity/trufflehog in the actions group (#4)
completed successfully:
CodeQL Security Analysis#16:Commite65752apushedbyhyperpolymath
main
Apr 25, 20262m 50s

Navigation Menu

CodeQL Security Analysis

415 workflow runs

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

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

ci: bump actions/upload-artifact SHA to current v4 (#12)

ci: bump actions/upload-artifact SHA to current v4

ci(secret-scanner): drop duplicate --fail from trufflehog extra_args …

ci(secret-scanner): drop duplicate --fail from trufflehog extra_args

ci: fix workflow-linter YAML parse error + self-flag bug

CodeQL Security Analysis

chore(deps): bump github/codeql-action in the actions group (#10)

chore(deps): bump github/codeql-action from 4.35.3 to 4.35.4 in the actions group

CodeQL Security Analysis

ci(antipattern): fix top-level dir matching + benchmarks/lsp/bench fi…

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

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

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

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

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

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

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

chore(deps): bump github/codeql-action in the actions group (#5)

chore(deps): bump github/codeql-action from 4.35.2 to 4.35.3 in the actions group

fix(CNO,lib): typecheck CNO.agda under --safe + add agda-lib

feat(absolute-zero): complete loadStore_preserves_memory proof — no s…

CodeQL Security Analysis

chore(deps): bump trufflesecurity/trufflehog in the actions group (#4)

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

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