Skip to content

Actions: github/codeql

Actions

Check overlay annotations

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
check-overlay-annotations.yml
4,810 workflow runs
4,810 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Python: MaD barriers Check overlay annotations #4876: Pull request #21004 synchronize by yoff
19s yoff:python/mad-barriers
yoff:python/mad-barriers
19s
Merge pull request #21205 from paldepind/shared/ti-boound-tm Check overlay annotations #4875: Commit e40f896 pushed by paldepind
24s main
main
24s
C++: Update expected test results after extractor changes Check overlay annotations #4874: Pull request #21208 opened by jketema
21s jketema:jketema/softfloat
jketema:jketema/softfloat
21s
Python: MaD barriers Check overlay annotations #4873: Pull request #21004 synchronize by yoff
18s yoff:python/mad-barriers
yoff:python/mad-barriers
18s
Rust: More test cases for add, sub etc Check overlay annotations #4872: Pull request #21191 synchronize by geoffw0
18s geoffw0:addsub
geoffw0:addsub
18s
Rust: Improve type inference for closures Check overlay annotations #4871: Pull request #21206 synchronize by hvitved
18s hvitved:rust/type-inference-closure-param-context-typed
hvitved:rust/type-inference-closure-param-context-typed
18s
Python: Prompt injection in OpenAI clients Check overlay annotations #4870: Pull request #21141 synchronize by mbaluda
21s mbaluda:prompt-injection
mbaluda:prompt-injection
21s
Python: Prompt injection in OpenAI clients Check overlay annotations #4869: Pull request #21141 synchronize by mbaluda
19s mbaluda:prompt-injection
mbaluda:prompt-injection
19s
Rust: Improve type inference for closures Check overlay annotations #4868: Pull request #21206 opened by hvitved
18s hvitved:rust/type-inference-closure-param-context-typed
hvitved:rust/type-inference-closure-param-context-typed
18s
Python: MaD barriers Check overlay annotations #4867: Pull request #21004 synchronize by yoff
23s yoff:python/mad-barriers
yoff:python/mad-barriers
23s
Rust: Change getATypeParameterConstraint to not require a TypeMention Check overlay annotations #4866: Pull request #21205 opened by paldepind
19s paldepind:shared/ti-boound-tm
paldepind:shared/ti-boound-tm
19s
Python: MaD barriers Check overlay annotations #4865: Pull request #21004 synchronize by yoff
18s yoff:python/mad-barriers
yoff:python/mad-barriers
18s
Merge pull request #21203 from hvitved/ql4ql/use-nightly Check overlay annotations #4864: Commit 2015125 pushed by hvitved
22s main
main
22s
Rust: More test cases for add, sub etc Check overlay annotations #4863: Pull request #21191 synchronize by geoffw0
18s geoffw0:addsub
geoffw0:addsub
18s
Rust: Paths to associated types resolve to the associated type if implementation is unclear Check overlay annotations #4862: Pull request #21188 synchronize by paldepind
20s paldepind:rust/self-path-assoc
paldepind:rust/self-path-assoc
20s
Merge pull request #21204 from paldepind/rust/assoc-tp-fix Check overlay annotations #4861: Commit 7d34f6e pushed by paldepind
18s main
main
18s
Rust: More test cases for add, sub etc Check overlay annotations #4860: Pull request #21191 synchronize by geoffw0
18s geoffw0:addsub
geoffw0:addsub
18s
Kotlin: Support Kotlin 2.3.0-Beta2 Check overlay annotations #4859: Pull request #20965 synchronize by andersfugmann
17s andersfugmann/kotlin_2.3.0-beta2
andersfugmann/kotlin_2.3.0-beta2
17s
Rust: Remove mistakenly included inherited associated types Check overlay annotations #4858: Pull request #21204 opened by paldepind
19s paldepind:rust/assoc-tp-fix
paldepind:rust/assoc-tp-fix
19s
Merge pull request #21151 from hvitved/rust/disable-universal-conds-b… Check overlay annotations #4857: Commit 8ce2618 pushed by hvitved
19s main
main
19s
QL4QL: Use nightly CodeQL CLI Check overlay annotations #4856: Pull request #21203 synchronize by hvitved
18s hvitved:ql4ql/use-nightly
hvitved:ql4ql/use-nightly
18s
QL4QL: Use nightly CodeQL CLI Check overlay annotations #4855: Pull request #21203 opened by hvitved
17s hvitved:ql4ql/use-nightly
hvitved:ql4ql/use-nightly
17s
Type inference: Disable universal conditions by default Check overlay annotations #4854: Pull request #21151 synchronize by hvitved
18s hvitved:rust/disable-universal-conds-by-default
hvitved:rust/disable-universal-conds-by-default
18s
Merge pull request #21202 from MathiasVP/add-is-live-predicate-to-ssa… Check overlay annotations #4853: Commit 73eb3e2 pushed by MathiasVP
19s main
main
19s
C++: Add isLiveAtEndOfBlock predicate to Ssa::Definition Check overlay annotations #4852: Pull request #21202 opened by MathiasVP
23s MathiasVP:add-is-live-predicate-to-ssa-definition
MathiasVP:add-is-live-predicate-to-ssa-definition
23s