Skip to content

Actions: github/codeql

Actions

Compile all queries using the latest stable CodeQL CLI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
2,500+ workflow runs
2,500+ 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
Python: Prompt injection in OpenAI clients Compile all queries using the latest stable CodeQL CLI #35283: Pull request #21141 synchronize by mbaluda
7m 59s mbaluda:prompt-injection
mbaluda:prompt-injection
7m 59s
Python: Prompt injection in OpenAI clients Compile all queries using the latest stable CodeQL CLI #35282: Pull request #21141 synchronize by mbaluda
8m 32s mbaluda:prompt-injection
mbaluda:prompt-injection
8m 32s
Rust: Infer argument types based on trait bounds on parameters Compile all queries using the latest stable CodeQL CLI #35281: Pull request #21206 opened by hvitved
4m 3s hvitved:rust/type-inference-closure-param-context-typed
hvitved:rust/type-inference-closure-param-context-typed
4m 3s
Python: MaD barriers Compile all queries using the latest stable CodeQL CLI #35280: Pull request #21004 synchronize by yoff
50s yoff:python/mad-barriers
yoff:python/mad-barriers
50s
Rust: Change getATypeParameterConstraint to not require a TypeMention Compile all queries using the latest stable CodeQL CLI #35279: Pull request #21205 opened by paldepind
3m 41s paldepind:shared/ti-boound-tm
paldepind:shared/ti-boound-tm
3m 41s
Python: MaD barriers Compile all queries using the latest stable CodeQL CLI #35278: Pull request #21004 synchronize by yoff
12m 41s yoff:python/mad-barriers
yoff:python/mad-barriers
12m 41s
Merge pull request #21203 from hvitved/ql4ql/use-nightly Compile all queries using the latest stable CodeQL CLI #35277: Commit 2015125 pushed by hvitved
1m 37s main
main
1m 37s
Rust: More test cases for add, sub etc Compile all queries using the latest stable CodeQL CLI #35276: Pull request #21191 synchronize by geoffw0
1m 5s geoffw0:addsub
geoffw0:addsub
1m 5s
Rust: Implement type inference for associated types for concrete types Compile all queries using the latest stable CodeQL CLI #35275: Pull request #21188 synchronize by paldepind
2m 37s paldepind:rust/self-path-assoc
paldepind:rust/self-path-assoc
2m 37s
Merge pull request #21204 from paldepind/rust/assoc-tp-fix Compile all queries using the latest stable CodeQL CLI #35274: Commit 7d34f6e pushed by paldepind
3m 58s main
main
3m 58s
Rust: More test cases for add, sub etc Compile all queries using the latest stable CodeQL CLI #35273: Pull request #21191 synchronize by geoffw0
1m 4s geoffw0:addsub
geoffw0:addsub
1m 4s
Rust: Remove mistakenly included inherited associated types Compile all queries using the latest stable CodeQL CLI #35272: Pull request #21204 opened by paldepind
2m 39s paldepind:rust/assoc-tp-fix
paldepind:rust/assoc-tp-fix
2m 39s
Merge pull request #21151 from hvitved/rust/disable-universal-conds-b… Compile all queries using the latest stable CodeQL CLI #35271: Commit 8ce2618 pushed by hvitved
2m 59s main
main
2m 59s
Type inference: Disable universal conditions by default Compile all queries using the latest stable CodeQL CLI #35270: Pull request #21151 synchronize by hvitved
2m 31s hvitved:rust/disable-universal-conds-by-default
hvitved:rust/disable-universal-conds-by-default
2m 31s
Merge pull request #21202 from MathiasVP/add-is-live-predicate-to-ssa… Compile all queries using the latest stable CodeQL CLI #35269: Commit 73eb3e2 pushed by MathiasVP
16m 31s main
main
16m 31s
C++: Add isLiveAtEndOfBlock predicate to Ssa::Definition Compile all queries using the latest stable CodeQL CLI #35268: Pull request #21202 opened by MathiasVP
14m 30s MathiasVP:add-is-live-predicate-to-ssa-definition
MathiasVP:add-is-live-predicate-to-ssa-definition
14m 30s
Merge pull request #21142 from MathiasVP/ir-support-for-assertions Compile all queries using the latest stable CodeQL CLI #35267: Commit dd41538 pushed by MathiasVP
19m 17s main
main
19m 17s
C++: Generate IR for assertions in release builds Compile all queries using the latest stable CodeQL CLI #35266: Pull request #21142 synchronize by MathiasVP
14m 36s MathiasVP:ir-support-for-assertions
MathiasVP:ir-support-for-assertions
14m 36s
C++: Rename holdsInBase to isBase Compile all queries using the latest stable CodeQL CLI #35265: Pull request #21200 opened by igfoo
14m 16s igfoo/rename-holdsInBase-to-isBase
igfoo/rename-holdsInBase-to-isBase
14m 16s
C++ overlay: Simplify QL Compile all queries using the latest stable CodeQL CLI #35264: Pull request #21199 opened by igfoo
14m 21s igfoo/refactorOverlayFunctionCalls
igfoo/refactorOverlayFunctionCalls
14m 21s
C++: Allow MaD barriers Compile all queries using the latest stable CodeQL CLI #35263: Pull request #21162 synchronize by owen-mc
1m 31s owen-mc:cpp/mad-barriers
owen-mc:cpp/mad-barriers
1m 31s
Rust: Implement type inference for associated types for concrete types Compile all queries using the latest stable CodeQL CLI #35262: Pull request #21188 synchronize by paldepind
3m 48s paldepind:rust/self-path-assoc
paldepind:rust/self-path-assoc
3m 48s
C++: Generate IR for assertions in release builds Compile all queries using the latest stable CodeQL CLI #35261: Pull request #21142 synchronize by MathiasVP
14m 20s MathiasVP:ir-support-for-assertions
MathiasVP:ir-support-for-assertions
14m 20s
C++: Generate IR for assertions in release builds Compile all queries using the latest stable CodeQL CLI #35260: Pull request #21142 synchronize by MathiasVP
14m 29s MathiasVP:ir-support-for-assertions
MathiasVP:ir-support-for-assertions
14m 29s
Shared: Provenance-based filtering of flow summaries Compile all queries using the latest stable CodeQL CLI #35259: Pull request #21051 synchronize by hvitved
18m 41s hvitved:shared/flow-summary-provenance-filtering
hvitved:shared/flow-summary-provenance-filtering
18m 41s
ProTip! You can narrow down the results and go further in time using created:<2026-01-21 or the other filters available.