Skip to content

Actions: github/codeql

Actions

Check QLdoc coverage

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
check-qldoc.yml
6,620 workflow runs
6,620 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Go: Support for MaD barriers and barrier guards. Check QLdoc coverage #22071: Pull request #21015 synchronize by owen-mc
52s aschackmull:go/mad-barriers
aschackmull:go/mad-barriers
52s
Brodes/nested sizeof or operation in sizeof audit fixes Check QLdoc coverage #22070: Pull request #21052 opened by bdrodes
59s microsoft:brodes/nested_sizeof_or_operation_in_sizeof_audit_fixes
microsoft:brodes/nested_sizeof_or_operation_in_sizeof_audit_fixes
59s
Rust: Handle Deref trait in type inference Check QLdoc coverage #22069: Pull request #20987 synchronize by hvitved
57s hvitved:rust/type-inference-deref-trait
hvitved:rust/type-inference-deref-trait
57s
Rust: Handle Deref trait in type inference Check QLdoc coverage #22068: Pull request #20987 synchronize by hvitved
55s hvitved:rust/type-inference-deref-trait
hvitved:rust/type-inference-deref-trait
55s
Add integration test for paths and paths-ignore vs. Java buildless mode Check QLdoc coverage #22067: Pull request #21049 synchronize by smowton
2m 53s smowton:smowton/admin/java-buildless-paths-test
smowton:smowton/admin/java-buildless-paths-test
2m 53s
Rust: Add models for Axum Check QLdoc coverage #22066: Pull request #20878 synchronize by paldepind
59s paldepind:rust/axum-model
paldepind:rust/axum-model
59s
Shared: Provenance-based filtering of flow summaries Check QLdoc coverage #22065: Pull request #21051 synchronize by hvitved
5m 14s hvitved:shared/flow-summary-provenance-filtering
hvitved:shared/flow-summary-provenance-filtering
5m 14s
Rust: Handle Deref trait in type inference Check QLdoc coverage #22064: Pull request #20987 synchronize by hvitved
58s hvitved:rust/type-inference-deref-trait
hvitved:rust/type-inference-deref-trait
58s
Shared: Provenance-based filtering of flow summaries Check QLdoc coverage #22063: Pull request #21051 opened by hvitved
1m 21s hvitved:shared/flow-summary-provenance-filtering
hvitved:shared/flow-summary-provenance-filtering
1m 21s
Go: Support for MaD barriers and barrier guards. Check QLdoc coverage #22062: Pull request #21015 synchronize by owen-mc
59s aschackmull:go/mad-barriers
aschackmull:go/mad-barriers
59s
Rust: Add models for Axum Check QLdoc coverage #22061: Pull request #20878 synchronize by paldepind
56s paldepind:rust/axum-model
paldepind:rust/axum-model
56s
Rust: Add models for Axum Check QLdoc coverage #22060: Pull request #20878 synchronize by paldepind
49s paldepind:rust/axum-model
paldepind:rust/axum-model
49s
Rust: Handle Deref trait in type inference Check QLdoc coverage #22059: Pull request #20987 synchronize by hvitved
56s hvitved:rust/type-inference-deref-trait
hvitved:rust/type-inference-deref-trait
56s
Rust: Add models for Axum Check QLdoc coverage #22058: Pull request #20878 synchronize by paldepind
1m 0s paldepind:rust/axum-model
paldepind:rust/axum-model
1m 0s
Rust: Add models for Axum Check QLdoc coverage #22057: Pull request #20878 synchronize by paldepind
54s paldepind:rust/axum-model
paldepind:rust/axum-model
54s
C#: Support .slnx. solution files. Check QLdoc coverage #22056: Pull request #21016 synchronize by michaelnebel
1m 12s michaelnebel:csharp/slnx
michaelnebel:csharp/slnx
1m 12s
Rust: Don't apply generated models for functions that have a manual model Check QLdoc coverage #22055: Pull request #21036 synchronize by paldepind
57s paldepind:rust/prioritize-manual-summaries
paldepind:rust/prioritize-manual-summaries
57s
Java/more thread safe initialisers Check QLdoc coverage #22054: Pull request #20910 synchronize by yoff
2m 47s yoff:java/more-thread-safe-initialisers
yoff:java/more-thread-safe-initialisers
2m 47s
Java/more thread safe initialisers Check QLdoc coverage #22053: Pull request #20910 synchronize by yoff
2m 48s yoff:java/more-thread-safe-initialisers
yoff:java/more-thread-safe-initialisers
2m 48s
Rust: Don't apply generated models for functions that have a manual model Check QLdoc coverage #22052: Pull request #21036 synchronize by paldepind
56s paldepind:rust/prioritize-manual-summaries
paldepind:rust/prioritize-manual-summaries
56s
Rust: Distinguish &mut T from &T in type inference Check QLdoc coverage #22051: Pull request #20973 synchronize by hvitved
56s hvitved:rust/type-inference-distinguish-mut-ref
hvitved:rust/type-inference-distinguish-mut-ref
56s
Rust: Fix candidate receiver type calculation for trait bounds Check QLdoc coverage #22050: Pull request #21043 opened by hvitved
55s hvitved:rust/type-inference-trait-bounds-overlap
hvitved:rust/type-inference-trait-bounds-overlap
55s
Go: Support for MaD barriers and barrier guards. Check QLdoc coverage #22049: Pull request #21015 synchronize by owen-mc
1m 1s aschackmull:go/mad-barriers
aschackmull:go/mad-barriers
1m 1s
[Draft] Java: Add remote flow sources for jakarta.websocket Check QLdoc coverage #22048: Pull request #21041 opened by joefarebrother
2m 53s joefarebrother:java-jakarta
joefarebrother:java-jakarta
2m 53s
Rust: Distinguish &mut T from &T in type inference Check QLdoc coverage #22047: Pull request #20973 synchronize by hvitved
1m 0s hvitved:rust/type-inference-distinguish-mut-ref
hvitved:rust/type-inference-distinguish-mut-ref
1m 0s