Skip to content

Actions: dfed/SafeDI

Actions

CodeQL Advanced

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
949 workflow runs
949 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
Plugins: restore InstallSafeDITool download command for Xcodeproj users CodeQL Advanced #849: Pull request #273 opened by dfed
15m 42s claude/restore-install-safeditool-plugin
claude/restore-install-safeditool-plugin
15m 42s
SafeDITool: cache parsed ModuleInfo from scan → generate CodeQL Advanced #848: Pull request #272 opened by dfed
26m 18s claude/cache-parse-scan-to-generate
claude/cache-parse-scan-to-generate
26m 18s
Plugin: strip comments and strings before PluginScanner regex match CodeQL Advanced #847: Pull request #271 synchronize by dfed
22m 23s claude/plugin-scanner-ignore-comments
claude/plugin-scanner-ignore-comments
22m 23s
Docs: document SafeDI cycle mechanics, erasure matrix, and selected i… CodeQL Advanced #846: Commit e91633b pushed by dfed
19m 34s main
main
19m 34s
Plugin: strip comments and strings before PluginScanner regex match CodeQL Advanced #845: Pull request #271 synchronize by dfed
5m 16s claude/plugin-scanner-ignore-comments
claude/plugin-scanner-ignore-comments
5m 16s
Release 2.0.0-beta-4 CodeQL Advanced #844: Commit a846fba pushed by dfed
24m 38s main
main
24m 38s
Plugin: strip comments and strings before PluginScanner regex match CodeQL Advanced #843: Pull request #271 opened by dfed
4m 53s claude/plugin-scanner-ignore-comments
claude/plugin-scanner-ignore-comments
4m 53s
Docs: document SafeDI cycle mechanics, erasure matrix, and selected init CodeQL Advanced #842: Pull request #270 opened by dfed
24m 39s claude/docs-safedi-conventions
claude/docs-safedi-conventions
24m 39s
Generator: break multi-hop mock-config cycles with a global feedback … CodeQL Advanced #841: Commit 8f3ba53 pushed by dfed
21m 48s main
main
21m 48s
Macro: diagnose Self.* refs in default expressions (#268) CodeQL Advanced #840: Commit 2bfd1d1 pushed by dfed
25m 34s main
main
25m 34s
Tests: skip preemptive inputs-only typecheck in compile verifier (#269) CodeQL Advanced #839: Commit 92bbcd7 pushed by dfed
37m 49s main
main
37m 49s
Generator: break multi-hop mock-config cycles with a global feedback arc set CodeQL Advanced #838: Pull request #259 synchronize by dfed
31m 42s claude/enable-compile-verification-easy-fixes
claude/enable-compile-verification-easy-fixes
31m 42s
Macro: diagnose Self.* refs in default expressions CodeQL Advanced #837: Pull request #268 synchronize by dfed
28m 31s claude/reject-callee-scope-defaults
claude/reject-callee-scope-defaults
28m 31s
Generator: mock() returns customMock's return type when it differs fr… CodeQL Advanced #836: Commit 854fb2b pushed by dfed
22m 30s main
main
22m 30s
Tests: skip preemptive inputs-only typecheck in compile verifier CodeQL Advanced #835: Pull request #269 opened by dfed
22m 10s claude/verifier-skip-input-only-preemptive
claude/verifier-skip-input-only-preemptive
22m 10s
Generator: break multi-hop mock-config cycles with a global feedback arc set CodeQL Advanced #834: Pull request #259 synchronize by dfed
23m 34s claude/enable-compile-verification-easy-fixes
claude/enable-compile-verification-easy-fixes
23m 34s
Generator: break multi-hop mock-config cycles with a global feedback arc set CodeQL Advanced #833: Pull request #259 synchronize by dfed
25m 36s claude/enable-compile-verification-easy-fixes
claude/enable-compile-verification-easy-fixes
25m 36s
Macro: diagnose Self.* refs in default expressions CodeQL Advanced #832: Pull request #268 synchronize by dfed
32m 43s claude/reject-callee-scope-defaults
claude/reject-callee-scope-defaults
32m 43s
Generator: break multi-hop mock-config cycles with a global feedback arc set CodeQL Advanced #831: Pull request #259 synchronize by dfed
9m 24s claude/enable-compile-verification-easy-fixes
claude/enable-compile-verification-easy-fixes
9m 24s
Generator: mock() returns customMock's return type when it differs from Self CodeQL Advanced #830: Pull request #266 synchronize by dfed
20m 42s claude/fix-extension-custom-mock-protocol-return
claude/fix-extension-custom-mock-protocol-return
20m 42s
Generator: break multi-hop mock-config cycles with a global feedback arc set CodeQL Advanced #829: Pull request #259 synchronize by dfed
1m 52s claude/enable-compile-verification-easy-fixes
claude/enable-compile-verification-easy-fixes
1m 52s
Tests: typecheck SafeDITool-generated code against its inputs (#256) CodeQL Advanced #828: Commit a3395a0 pushed by dfed
34m 4s main
main
34m 4s
Macro: diagnose Self.* refs in default expressions CodeQL Advanced #827: Pull request #268 synchronize by dfed
21m 58s claude/reject-callee-scope-defaults
claude/reject-callee-scope-defaults
21m 58s
Macro: diagnose Self.* refs in default expressions CodeQL Advanced #826: Pull request #268 synchronize by dfed
6m 17s claude/reject-callee-scope-defaults
claude/reject-callee-scope-defaults
6m 17s
Tests: typecheck SafeDITool-generated code against its inputs CodeQL Advanced #825: Pull request #256 synchronize by dfed
29m 27s claude/compile-verify-codegen-tests
claude/compile-verify-codegen-tests
29m 27s