Skip to content

Actions: github/codeql

Actions

Check change note

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
check-change-note.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: Handle Deref trait in type inference and data flow Check change note #35835: Pull request #20987 synchronize by hvitved
16s
16s
Rust: Fix candidate receiver type calculation for trait bounds Check change note #35834: Pull request #21043 ready_for_review by hvitved
10s
10s
Rust: Fix candidate receiver type calculation for trait bounds Check change note #35833: Pull request #21043 labeled by hvitved
15s
15s
Rust: Add models for Axum Check change note #35832: Pull request #20878 synchronize by paldepind
7s
7s
Rust: Add models for Axum Check change note #35831: Pull request #20878 synchronize by paldepind
14s
14s
Rust: Don't apply generated models for functions that have a manual model Check change note #35830: Pull request #21036 synchronize by paldepind
13s
13s
Java/more thread safe initialisers Check change note #35829: Pull request #20910 synchronize by yoff
9s
9s
Java/more thread safe initialisers Check change note #35828: Pull request #20910 synchronize by yoff
16s
16s
Rust: Don't apply generated models for functions that have a manual model Check change note #35827: Pull request #21036 ready_for_review by paldepind
12s
12s
Rust: Don't apply generated models for functions that have a manual model Check change note #35826: Pull request #21036 synchronize by paldepind
11s
11s
Rust: Distinguish &mut T from &T in type inference Check change note #35825: Pull request #20973 synchronize by hvitved
8s
8s
Rust: Fix candidate receiver type calculation for trait bounds Check change note #35824: Pull request #21043 opened by hvitved
13s
13s
Go: Support for MaD barriers and barrier guards. Check change note #35823: Pull request #21015 synchronize by owen-mc
13s
13s
[Draft] Java: Add remote flow sources for jakarta.websocket Check change note #35822: Pull request #21041 opened by joefarebrother
10s
10s
Clarify Path.Combine call behavior Check change note #35821: Pull request #21038 synchronize by jonjanego
9s
9s
Clarify Path.Combine call behavior Check change note #35820: Pull request #21038 opened by jonjanego
11s
11s
Rust: Distinguish &mut T from &T in type inference Check change note #35819: Pull request #20973 synchronize by hvitved
8s
8s
Rust: Don't apply generated models for functions that have a manual model Check change note #35818: Pull request #21036 synchronize by paldepind
9s
9s
Rust: Don't apply generated models for functions that have a manual model Check change note #35817: Pull request #21036 synchronize by paldepind
7s
7s
Rust: Don't apply generated models for functions that have a manual model Check change note #35816: Pull request #21036 synchronize by paldepind
6s
6s
Rust: Don't apply generated models for functions that have a manual model Check change note #35815: Pull request #21036 labeled by paldepind
6s
6s
Rust: Regenerate models Check change note #35814: Pull request #21023 synchronize by paldepind
9s
9s
Rust: Don't apply generated models for functions that have a manual model Check change note #35813: Pull request #21036 opened by paldepind
10s
10s
Rust: Add models for core::cmp::Ord::{min,max,clamp} Check change note #35812: Pull request #21035 ready_for_review by hvitved
10s
10s
Rust: Also use specialized types when inferring types for calls Check change note #35811: Pull request #21027 synchronize by hvitved
10s
10s
ProTip! You can narrow down the results and go further in time using created:<2025-12-15 or the other filters available.