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

Merge pull request #21142 from MathiasVP/ir-support-for-assertions Check overlay annotations #4851: Commit dd41538 pushed by MathiasVP
23s main
main
23s
C++: Generate IR for assertions in release builds Check overlay annotations #4850: Pull request #21142 synchronize by MathiasVP
24s MathiasVP:ir-support-for-assertions
MathiasVP:ir-support-for-assertions
24s
C++: Rename holdsInBase to isBase Check overlay annotations #4849: Pull request #21200 opened by igfoo
20s igfoo/rename-holdsInBase-to-isBase
igfoo/rename-holdsInBase-to-isBase
20s
C++ overlay: Simplify QL Check overlay annotations #4848: Pull request #21199 opened by igfoo
18s igfoo/refactorOverlayFunctionCalls
igfoo/refactorOverlayFunctionCalls
18s
C++: Allow MaD barriers Check overlay annotations #4847: Pull request #21162 synchronize by owen-mc
20s owen-mc:cpp/mad-barriers
owen-mc:cpp/mad-barriers
20s
Go: Update to 1.26 Check overlay annotations #4846: Pull request #21150 synchronize by owen-mc
20s jketema/go-1.26
jketema/go-1.26
20s
Rust: Paths to associated types resolve to the associated type if implementation is unclear Check overlay annotations #4845: Pull request #21188 synchronize by paldepind
18s paldepind:rust/self-path-assoc
paldepind:rust/self-path-assoc
18s
C++: Generate IR for assertions in release builds Check overlay annotations #4844: Pull request #21142 synchronize by MathiasVP
19s MathiasVP:ir-support-for-assertions
MathiasVP:ir-support-for-assertions
19s
C++: Generate IR for assertions in release builds Check overlay annotations #4843: Pull request #21142 synchronize by MathiasVP
18s MathiasVP:ir-support-for-assertions
MathiasVP:ir-support-for-assertions
18s
Shared: Provenance-based filtering of flow summaries Check overlay annotations #4842: Pull request #21051 synchronize by hvitved
20s hvitved:shared/flow-summary-provenance-filtering
hvitved:shared/flow-summary-provenance-filtering
20s
Rust: More test cases for add, sub etc Check overlay annotations #4841: Pull request #21191 synchronize by geoffw0
18s geoffw0:addsub
geoffw0:addsub
18s
Shared: Provenance-based filtering of flow summaries Check overlay annotations #4840: Pull request #21051 synchronize by hvitved
19s hvitved:shared/flow-summary-provenance-filtering
hvitved:shared/flow-summary-provenance-filtering
19s
Merge pull request #21185 from MathiasVP/mad-cpp-guards Check overlay annotations #4839: Commit 6ae1ea7 pushed by MathiasVP
19s main
main
19s
Go: Update to 1.26 Check overlay annotations #4838: Pull request #21150 synchronize by owen-mc
20s jketema/go-1.26
jketema/go-1.26
20s
Shared: Provenance-based filtering of flow summaries Check overlay annotations #4837: Pull request #21051 synchronize by hvitved
18s hvitved:shared/flow-summary-provenance-filtering
hvitved:shared/flow-summary-provenance-filtering
18s
Merge pull request #21047 from github/redsun82/codegen-readme Check overlay annotations #4836: Commit 0b9691a pushed by redsun82
18s main
main
18s
Rust: Paths to associated types resolve to the associated type if implementation is unclear Check overlay annotations #4835: Pull request #21188 synchronize by paldepind
20s paldepind:rust/self-path-assoc
paldepind:rust/self-path-assoc
20s
Shared: Provenance-based filtering of flow summaries Check overlay annotations #4834: Pull request #21051 synchronize by hvitved
20s hvitved:shared/flow-summary-provenance-filtering
hvitved:shared/flow-summary-provenance-filtering
20s
Merge pull request #21168 from hvitved/rust/type-inference-remove-bla… Check overlay annotations #4833: Commit 9a9e9ac pushed by hvitved
20s main
main
20s
Merge pull request #21134 from yoff/python/support-ListElement-in-MaD Check overlay annotations #4832: Commit 5414bd2 pushed by tausbn
20s main
main
20s
C++: Generate IR for assertions in release builds Check overlay annotations #4831: Pull request #21142 synchronize by MathiasVP
21s MathiasVP:ir-support-for-assertions
MathiasVP:ir-support-for-assertions
21s
Go: Update to 1.26 Check overlay annotations #4830: Pull request #21150 synchronize by jketema
20s jketema/go-1.26
jketema/go-1.26
20s
Rust: Remove restriction that blanket(-like) impls must have a constraint Check overlay annotations #4829: Pull request #21168 synchronize by hvitved
22s hvitved:rust/type-inference-remove-blanket-constraint-restriction
hvitved:rust/type-inference-remove-blanket-constraint-restriction
22s
Go: Update to 1.26 Check overlay annotations #4828: Pull request #21150 synchronize by jketema
22s jketema/go-1.26
jketema/go-1.26
22s
C++: Generate IR for assertions in release builds Check overlay annotations #4827: Pull request #21142 synchronize by MathiasVP
23s MathiasVP:ir-support-for-assertions
MathiasVP:ir-support-for-assertions
23s