Skip to content

Actions: github/codeql

Actions

Check overlay annotations

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
check-overlay-annotations.yml
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
Rust: Use verbose type paths in inline expectation comments Check overlay annotations #6850: Pull request #21778 synchronize by hvitved
23s hvitved:rust/type-inference-verbose-type-path-expectations
hvitved:rust/type-inference-verbose-type-path-expectations
23s
Merge pull request #21654 from MarkLee131/fix/sensitive-log-hash-sani… Check overlay annotations #6849: Commit 87c35e6 pushed by owen-mc
23s main
main
23s
C#: Replace SSA classes with shared code. Check overlay annotations #6848: Pull request #21762 synchronize by aschackmull
21s aschackmull:csharp/ssa2
aschackmull:csharp/ssa2
21s
Rust: Use verbose type paths in inline expectation comments Check overlay annotations #6847: Pull request #21778 synchronize by hvitved
24s hvitved:rust/type-inference-verbose-type-path-expectations
hvitved:rust/type-inference-verbose-type-path-expectations
24s
Swift: Add type inference tests Check overlay annotations #6846: Pull request #21777 synchronize by hvitved
21s hvitved:swift/type-inference-tests
hvitved:swift/type-inference-tests
21s
Rust: Use verbose type paths in inline expectation comments Check overlay annotations #6845: Pull request #21778 opened by hvitved
20s hvitved:rust/type-inference-verbose-type-path-expectations
hvitved:rust/type-inference-verbose-type-path-expectations
20s
Fix/path injection read subkind Check overlay annotations #6844: Pull request #21741 synchronize by MarkLee131
Action required MarkLee131:fix/path-injection-read-subkind
MarkLee131:fix/path-injection-read-subkind
Action required
Fix/path injection read subkind Check overlay annotations #6843: Pull request #21741 synchronize by MarkLee131
Action required MarkLee131:fix/path-injection-read-subkind
MarkLee131:fix/path-injection-read-subkind
Action required
Merge pull request #21759 from hvitved/csharp/cfg-params Check overlay annotations #6842: Commit a473fdb pushed by hvitved
20s main
main
20s
Shared: Adjust semantics of optional inline expectation tags Check overlay annotations #6841: Pull request #21772 synchronize by hvitved
19s hvitved:inline-test-optional
hvitved:inline-test-optional
19s
Shared: Adjust semantics of optional inline expectation tags Check overlay annotations #6840: Pull request #21772 synchronize by hvitved
21s hvitved:inline-test-optional
hvitved:inline-test-optional
21s
Swift: Add type inference tests Check overlay annotations #6839: Pull request #21777 opened by hvitved
18s hvitved:swift/type-inference-tests
hvitved:swift/type-inference-tests
18s
Merge pull request #21656 from MarkLee131/fix/trust-boundary-regexp-b… Check overlay annotations #6838: Commit fed42d6 pushed by owen-mc
22s main
main
22s
C#: Improve BMN feed checking & handling. Check overlay annotations #6837: Pull request #21684 synchronize by michaelnebel
22s michaelnebel:csharp/improve-reachability-checks
michaelnebel:csharp/improve-reachability-checks
22s
Java: treat hash/encrypt/digest methods as sensitive-log sanitizers Check overlay annotations #6836: Pull request #21654 synchronize by MarkLee131
22s MarkLee131:fix/sensitive-log-hash-sanitizer
MarkLee131:fix/sensitive-log-hash-sanitizer
22s
C#: Include parameters and their defaults in the CFG Check overlay annotations #6835: Pull request #21759 synchronize by hvitved
26s hvitved:csharp/cfg-params
hvitved:csharp/cfg-params
26s
Java: add RegexpCheckBarrier to trust-boundary-violation sanitizers Check overlay annotations #6834: Pull request #21656 synchronize by MarkLee131
24s MarkLee131:fix/trust-boundary-regexp-barrier
MarkLee131:fix/trust-boundary-regexp-barrier
24s
Add MaDs for Jakarta REST library Check overlay annotations #6832: Pull request #21776 opened by jacknojo
20s jacknojo/add_llm_generated_mads_for_jakartaee
jacknojo/add_llm_generated_mads_for_jakartaee
20s
Merge pull request #21751 from github/jacknojo/move_java_generated_mads Check overlay annotations #6831: Commit 0192ffa pushed by jacknojo
18s main
main
18s
C#: Include parameters and their defaults in the CFG Check overlay annotations #6830: Pull request #21759 synchronize by hvitved
22s hvitved:csharp/cfg-params
hvitved:csharp/cfg-params
22s
Merge pull request #21641 from github/josefs/promptInjectionImprovements Check overlay annotations #6829: Commit 68be006 pushed by josefs
27s main
main
27s
C++: Speed up cpp/leap-year/unchecked-after-arithmetic-year-modification Check overlay annotations #6828: Pull request #21768 synchronize by MathiasVP
21s speed-up-unchecked-leap-year-after-modification
speed-up-unchecked-leap-year-after-modification
21s
Shared: Adjust semantics of optional inline expectation tags Check overlay annotations #6827: Pull request #21772 synchronize by hvitved
26s hvitved:inline-test-optional
hvitved:inline-test-optional
26s
Merge pull request #21372 from michaelnebel/csharp14/usercompoundassi… Check overlay annotations #6826: Commit bfd3683 pushed by michaelnebel
21s main
main
21s
Merge pull request #21697 from yearn/js/vercel-node-framework Check overlay annotations #6825: Commit c95083b pushed by asgerf
21s main
main
21s