Skip to content

Actions: github/codeql

Actions

Check framework coverage changes

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
csv-coverage-pr-artifacts.yml
7,088 workflow runs
7,088 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Rust: Fix candidate receiver type calculation for trait bounds Check framework coverage changes #29984: Pull request #21043 synchronize by hvitved
2m 35s hvitved:rust/type-inference-trait-bounds-overlap
hvitved:rust/type-inference-trait-bounds-overlap
2m 35s
Rust: Also use specialized types when inferring types for calls Check framework coverage changes #29983: Pull request #21027 synchronize by hvitved
2m 35s hvitved:rust/type-inference-matching-specialization
hvitved:rust/type-inference-matching-specialization
2m 35s
Rust: Also use specialized types when inferring types for calls Check framework coverage changes #29982: Pull request #21027 synchronize by hvitved
2m 34s hvitved:rust/type-inference-matching-specialization
hvitved:rust/type-inference-matching-specialization
2m 34s
Java: allow MaD barriers Check framework coverage changes #29981: Pull request #21055 opened by owen-mc
2m 57s owen-mc:java/allow-mad-barriers
owen-mc:java/allow-mad-barriers
2m 57s
Python: Add support for PEP-758 exception syntax Check framework coverage changes #29980: Pull request #20990 synchronize by tausbn
2m 36s tausbn/python-support-relaxed-exception-groups
tausbn/python-support-relaxed-exception-groups
2m 36s
Python: Add support for template string literals Check framework coverage changes #29979: Pull request #20708 synchronize by tausbn
2m 49s tausbn/python-add-support-for-template-string-literals
tausbn/python-add-support-for-template-string-literals
2m 49s
Clarify Path.Combine call behavior Check framework coverage changes #29978: Pull request #21038 synchronize by jonjanego
2m 31s path-combine-name-desc-update
path-combine-name-desc-update
2m 31s
Go: Support for MaD barriers and barrier guards. Check framework coverage changes #29977: Pull request #21015 synchronize by owen-mc
2m 46s aschackmull:go/mad-barriers
aschackmull:go/mad-barriers
2m 46s
Clarify Path.Combine call behavior Check framework coverage changes #29976: Pull request #21038 synchronize by jonjanego
2m 36s path-combine-name-desc-update
path-combine-name-desc-update
2m 36s
C++: Update expected test results after frontend update Check framework coverage changes #29975: Pull request #20926 synchronize by jketema
59s jketema:jketema/frontend-update
jketema:jketema/frontend-update
59s
Clarify Path.Combine call behavior Check framework coverage changes #29974: Pull request #21038 synchronize by jonjanego
2m 29s path-combine-name-desc-update
path-combine-name-desc-update
2m 29s
Brodes/nested sizeof or operation in sizeof audit fixes Check framework coverage changes #29973: Pull request #21052 opened by bdrodes
2m 52s microsoft:brodes/nested_sizeof_or_operation_in_sizeof_audit_fixes
microsoft:brodes/nested_sizeof_or_operation_in_sizeof_audit_fixes
2m 52s
Rust: Handle Deref trait in type inference and data flow Check framework coverage changes #29972: Pull request #20987 synchronize by hvitved
2m 43s hvitved:rust/type-inference-deref-trait
hvitved:rust/type-inference-deref-trait
2m 43s
Rust: Handle Deref trait in type inference and data flow Check framework coverage changes #29971: Pull request #20987 synchronize by hvitved
2m 49s hvitved:rust/type-inference-deref-trait
hvitved:rust/type-inference-deref-trait
2m 49s
Rust: Add models for Axum Check framework coverage changes #29970: Pull request #20878 synchronize by paldepind
2m 36s paldepind:rust/axum-model
paldepind:rust/axum-model
2m 36s
Shared: Provenance-based filtering of flow summaries Check framework coverage changes #29969: Pull request #21051 synchronize by hvitved
3m 11s hvitved:shared/flow-summary-provenance-filtering
hvitved:shared/flow-summary-provenance-filtering
3m 11s
Rust: Handle Deref trait in type inference and data flow Check framework coverage changes #29968: Pull request #20987 synchronize by hvitved
2m 46s hvitved:rust/type-inference-deref-trait
hvitved:rust/type-inference-deref-trait
2m 46s
Shared: Provenance-based filtering of flow summaries Check framework coverage changes #29967: Pull request #21051 opened by hvitved
3m 17s hvitved:shared/flow-summary-provenance-filtering
hvitved:shared/flow-summary-provenance-filtering
3m 17s
Go: Support for MaD barriers and barrier guards. Check framework coverage changes #29966: Pull request #21015 synchronize by owen-mc
2m 48s aschackmull:go/mad-barriers
aschackmull:go/mad-barriers
2m 48s
Rust: Add models for Axum Check framework coverage changes #29965: Pull request #20878 synchronize by paldepind
2m 38s paldepind:rust/axum-model
paldepind:rust/axum-model
2m 38s
Rust: Add models for Axum Check framework coverage changes #29964: Pull request #20878 synchronize by paldepind
2m 30s paldepind:rust/axum-model
paldepind:rust/axum-model
2m 30s
Rust: Handle Deref trait in type inference and data flow Check framework coverage changes #29963: Pull request #20987 synchronize by hvitved
2m 31s hvitved:rust/type-inference-deref-trait
hvitved:rust/type-inference-deref-trait
2m 31s
Rust: Add models for Axum Check framework coverage changes #29962: Pull request #20878 synchronize by paldepind
2m 42s paldepind:rust/axum-model
paldepind:rust/axum-model
2m 42s
Rust: Add models for Axum Check framework coverage changes #29961: Pull request #20878 synchronize by paldepind
2m 45s paldepind:rust/axum-model
paldepind:rust/axum-model
2m 45s
Rust: Don't apply generated models for functions that have a manual model Check framework coverage changes #29960: Pull request #21036 synchronize by paldepind
2m 40s paldepind:rust/prioritize-manual-summaries
paldepind:rust/prioritize-manual-summaries
2m 40s