CodeQL Security Analysis

Workflow runs for CodeQL Security Analysis

• CodeQL Security Analysis

  completed successfully:
  CodeQL Security Analysis#30:Scheduled
  main

  May 4, 20261m 28s
  More actions for workflow run 30

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

  completed successfully:
  CodeQL Security Analysis#29:Commit039ffa7pushedbyhyperpolymath
  main

  May 3, 20261h 5m 27s
  More actions for workflow run 29

• 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
  More actions for workflow run 28

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

  completed successfully:
  CodeQL Security Analysis#27:Commit3930f99pushedbyhyperpolymath
  main

  May 3, 20261m 44s
  More actions for workflow run 27

• 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
  More actions for workflow run 26

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

  completed successfully:
  CodeQL Security Analysis#25:Commit7fe5359pushedbyhyperpolymath
  main

  May 3, 202654m 52s
  More actions for workflow run 25

• 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
  More actions for workflow run 24

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

  completed successfully:
  CodeQL Security Analysis#23:Commit8fefeffpushedbyhyperpolymath
  main

  May 3, 20261m 27s
  More actions for workflow run 23

• 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
  More actions for workflow run 22

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

  completed successfully:
  CodeQL Security Analysis#21:Commit7ebe33fpushedbyhyperpolymath
  main

  May 3, 20261m 21s
  More actions for workflow run 21

• 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
  More actions for workflow run 20

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

  completed successfully:
  CodeQL Security Analysis#19:Commit0f8b01dpushedbyhyperpolymath
  main

  Apr 30, 20261m 17s
  More actions for workflow run 19

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

  completed successfully:
  CodeQL Security Analysis#18:Commitabd5a3apushedbyhyperpolymath
  main

  Apr 27, 20261m 12s
  More actions for workflow run 18

• CodeQL Security Analysis

  completed successfully:
  CodeQL Security Analysis#17:Scheduled
  main

  Apr 27, 20261m 36s
  More actions for workflow run 17

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

  completed successfully:
  CodeQL Security Analysis#16:Commite65752apushedbyhyperpolymath
  main

  Apr 25, 20262m 50s
  More actions for workflow run 16

• chore(deps): bump trufflesecurity/trufflehog from 3.94.3 to 3.95.2 in the actions group

  completed successfully:
  CodeQL Security Analysis#15:Pull request#4openedbydependabot[bot]Bot
  dependabot/github_actions/actions-d8ef2e9271

  Apr 24, 20261m 7s
  More actions for workflow run 15

• feat(ai-manifest): add ECHIDNA call-protocol snippet (Package 8)

  completed successfully:
  CodeQL Security Analysis#14:Commit842bd35pushedbyhyperpolymath
  main

  Apr 24, 20263m 38s
  More actions for workflow run 14

• CodeQL Security Analysis

  completed successfully:
  CodeQL Security Analysis#13:Scheduled
  main

  Apr 20, 20261m 34s
  More actions for workflow run 13

• chore(contractiles): add bust/ + relocate k9 to svc/

  completed successfully:
  CodeQL Security Analysis#12:Commit315feb3pushedbyhyperpolymath
  main

  Apr 18, 20265h 53m 0s
  More actions for workflow run 12

• chore(contractiles): remove lust (not in 6-verb set: intend trust mus…

  completed successfully:
  CodeQL Security Analysis#11:Commitb151765pushedbyhyperpolymath
  main

  Apr 18, 20263h 14m 39s
  More actions for workflow run 11

• Standardize workspace: Capitalize Justfile references in scripts and …

  completed successfully:
  CodeQL Security Analysis#10:Commit3d52acdpushedbyhyperpolymath
  main

  Apr 18, 20262h 48m 34s
  More actions for workflow run 10

• Standardize workspace: Justfile migration and A2ML directive cleanup

  completed successfully:
  CodeQL Security Analysis#9:Commite8be300pushedbyhyperpolymath
  main

  Apr 18, 20266m 4s
  More actions for workflow run 9

• Merge pull request #3 from hyperpolymath/fix/issue-2-abi-types

  completed successfully:
  CodeQL Security Analysis#8:Commit4654410pushedbyhyperpolymath
  main

  Apr 18, 20261m 15s
  More actions for workflow run 8

• fix(abi): resolve Types.idr size proof accessibility + pointer typing

  completed successfully:
  CodeQL Security Analysis#7:Pull request#3openedbyhyperpolymath
  fix/issue-2-abi-types

  Apr 18, 20261m 1s
  More actions for workflow run 7

• chore(deps): bump the actions group with 15 updates (#1)

  completed successfully:
  CodeQL Security Analysis#6:Commitb0b15bfpushedbyhyperpolymath
  main

  Apr 18, 20261m 18s
  More actions for workflow run 6