Skip to content

Actions: yvgude/lean-ctx

Actions

CodeQL

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
1,565 workflow runs
1,565 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
chore: release v3.9.8 CodeQL #1625: Commit 5ad09b5 pushed by yvgude
14m 56s main
main
14m 56s
feat: smart Read redirect + Replace mode hardening for all agents CodeQL #1624: Commit 4cc1fc7 pushed by yvgude
15m 18s main
main
15m 18s
Merge pull request #721 from dasTholo/pr/lean-md-addon CodeQL #1623: Commit 33302e5 pushed by yvgude
15m 50s main
main
15m 50s
fix: tighten memory guardian and close remaining index build gaps (#790) CodeQL #1622: Commit e9e1ae8 pushed by yvgude
16m 32s main
main
16m 32s
docs: add fixes 7-11 to #790 changelog entry CodeQL #1621: Commit ea2fe06 pushed by yvgude
15m 57s main
main
15m 57s
feat: integrate lean-md as an external lean-ctx addon (+ LSP formatter routing) CodeQL #1620: Pull request #721 synchronize by dasTholo
15m 39s dasTholo:pr/lean-md-addon
dasTholo:pr/lean-md-addon
15m 39s
feat: integrate lean-md as an external lean-ctx addon (+ LSP formatter routing) CodeQL #1619: Pull request #721 synchronize by dasTholo
15m 52s dasTholo:pr/lean-md-addon
dasTholo:pr/lean-md-addon
15m 52s
feat: integrate lean-md as an external lean-ctx addon (+ LSP formatter routing) CodeQL #1618: Pull request #721 synchronize by dasTholo
15m 4s dasTholo:pr/lean-md-addon
dasTholo:pr/lean-md-addon
15m 4s
feat: integrate lean-md as an external lean-ctx addon (+ LSP formatter routing) CodeQL #1617: Pull request #721 synchronize by dasTholo
15m 27s dasTholo:pr/lean-md-addon
dasTholo:pr/lean-md-addon
15m 27s
fix: relax crash_loop timing test threshold for slow CI runners CodeQL #1616: Commit 80c3536 pushed by yvgude
15m 9s main
main
15m 9s
fix: update codex migration test for deny hook (3 PreToolUse entries) CodeQL #1615: Commit d56c262 pushed by yvgude
12m 51s main
main
12m 51s
fix: deny hook uses ipc::process::is_alive instead of libc::kill (Win… CodeQL #1614: Commit e70211d pushed by yvgude
15m 11s main
main
15m 11s
chore: bump npm package versions to 3.9.7 CodeQL #1613: Commit ca909f6 pushed by yvgude
15m 19s main
main
15m 19s
docs: add #790 memory-cap fixes to v3.9.7 changelog CodeQL #1612: Commit c555f0f pushed by yvgude
15m 43s main
main
15m 43s
test: add regression test for add_chunk content truncation (#790) CodeQL #1611: Commit f6748f4 pushed by yvgude
15m 15s main
main
15m 15s
fix(agents): make is_process_alive actually check the OS on Windows (… CodeQL #1610: Commit 45a46c4 pushed by yvgude
15m 8s main
main
15m 8s
fix(agents): make is_process_alive actually check the OS on Windows CodeQL #1609: Pull request #792 synchronize by getappz
15m 20s getappz:fix/agents-windows-is-process-alive
getappz:fix/agents-windows-is-process-alive
15m 20s
fix(agents): make is_process_alive actually check the OS on Windows CodeQL #1608: Pull request #792 opened by getappz
15m 18s getappz:fix/agents-windows-is-process-alive
getappz:fix/agents-windows-is-process-alive
15m 18s
fix: bash rewrite hook and extract_json_field mangle multi-line comma… CodeQL #1607: Commit 145155e pushed by yvgude
12m 38s main
main
12m 38s
fix: bash rewrite hook and extract_json_field mangle multi-line commands CodeQL #1606: Pull request #789 opened by yvgude
14m 38s fix/multiline-rewrite-hook-787
fix/multiline-rewrite-hook-787
14m 38s
ci: fix ci-green gate gaps, cache tarpaulin/jemalloc, add concurrency… CodeQL #1605: Commit dc7442f pushed by yvgude
19m 8s main
main
19m 8s
fix: downgrade rusqlite to unbreak build (cfg_select unstable feature… CodeQL #1604: Commit be76a51 pushed by yvgude
18m 28s main
main
18m 28s
fix: withhold tool_profile/tools_enabled/default_tool_categories from… CodeQL #1603: Commit e0c8a6c pushed by yvgude
15m 15s main
main
15m 15s
ci: fix ci-green gate gaps, cache tarpaulin/jemalloc, add concurrency group CodeQL #1602: Pull request #786 opened by cedric013
14m 45s cedric013:ci/nextest-gate-fixes
cedric013:ci/nextest-gate-fixes
14m 45s
Fix: untrusted workspaces could still override tool_profile/tools_enabled/default_tool_categories CodeQL #1601: Pull request #785 opened by cedric013
14m 59s cedric013:fix/workspace-trust-tool-surface-bypass
cedric013:fix/workspace-trust-tool-surface-bypass
14m 59s