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
6,001 workflow run results
6,001 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Rust: Non-symmetric type propagation for lub coercions Check framework coverage changes #29095: Pull request #20592 synchronize by hvitved
2m 45s hvitved:rust/type-inference-branch-propagation
hvitved:rust/type-inference-branch-propagation
2m 45s
Go: basic overlay support Check framework coverage changes #29094: Pull request #20623 synchronize by nickrolfe
2m 47s nickrolfe/go-extractor-overlay
nickrolfe/go-extractor-overlay
2m 47s
C#: Overlay extraction support. Check framework coverage changes #29093: Pull request #20425 synchronize by michaelnebel
3m 0s michaelnebel:csharp/basicextractoroverlay
michaelnebel:csharp/basicextractoroverlay
3m 0s
Rust: Restrict type propagation into arguments Check framework coverage changes #29092: Pull request #20683 opened by hvitved
2m 38s hvitved:rust/type-inference-arg-target-typed
hvitved:rust/type-inference-arg-target-typed
2m 38s
Add React missing useRef related constructs Check framework coverage changes #29091: Pull request #20668 synchronize by knewbury01
2m 39s knewbury01:knewbury01/add-react-useref-step
knewbury01:knewbury01/add-react-useref-step
2m 39s
Rust: Refactor using shared constraint satisfaction Check framework coverage changes #29090: Pull request #20682 opened by paldepind
2m 42s paldepind:rust/ti-condition
paldepind:rust/ti-condition
2m 42s
C#: Delete exception splitting. Check framework coverage changes #29089: Pull request #20677 synchronize by aschackmull
2m 55s aschackmull:csharp/disable-exc-split
aschackmull:csharp/disable-exc-split
2m 55s
Rust: Compute incompatible blanket implementations Check framework coverage changes #29088: Pull request #20612 synchronize by hvitved
2m 43s hvitved:rust/type-inference-blanket-non-satisfaction
hvitved:rust/type-inference-blanket-non-satisfaction
2m 43s
Shared: Align SSA interfaces in Guards and ControlFlowReachability with shared SSA Check framework coverage changes #29087: Pull request #20680 opened by aschackmull
3m 9s aschackmull:shared/align-ssa-interface
aschackmull:shared/align-ssa-interface
3m 9s
C#: Replace old Guards with the new shared implementation. Check framework coverage changes #29086: Pull request #20665 synchronize by aschackmull
3m 0s aschackmull:csharp/guards-replace
aschackmull:csharp/guards-replace
3m 0s
Shared/Java: Rename ControlFlowReachability library. Check framework coverage changes #29085: Pull request #20678 opened by aschackmull
3m 2s aschackmull:shared/rename-cfg-reach
aschackmull:shared/rename-cfg-reach
3m 2s
C#: Delete exception splitting. Check framework coverage changes #29084: Pull request #20677 opened by aschackmull
2m 56s aschackmull:csharp/disable-exc-split
aschackmull:csharp/disable-exc-split
2m 56s
Add React missing useRef related constructs Check framework coverage changes #29083: Pull request #20668 synchronize by knewbury01
2m 35s knewbury01:knewbury01/add-react-useref-step
knewbury01:knewbury01/add-react-useref-step
2m 35s
Add React missing useRef related constructs Check framework coverage changes #29082: Pull request #20668 synchronize by knewbury01
2m 41s knewbury01:knewbury01/add-react-useref-step
knewbury01:knewbury01/add-react-useref-step
2m 41s
Crypto: Add Java Cryptographic Analysis Queries Check framework coverage changes #29081: Pull request #20605 synchronize by bdrodes
2m 33s bdrodes:santander-java-crypto-check
bdrodes:santander-java-crypto-check
2m 33s
JS: Add overlay annotations Check framework coverage changes #29080: Pull request #20424 synchronize by asgerf
2m 32s asgerf:js/overlay-manual-v4
asgerf:js/overlay-manual-v4
2m 32s
JS: Add overlay annotations Check framework coverage changes #29079: Pull request #20424 synchronize by asgerf
2m 44s asgerf:js/overlay-manual-v4
asgerf:js/overlay-manual-v4
2m 44s
Crypto: Add Java Cryptographic Analysis Queries Check framework coverage changes #29078: Pull request #20605 synchronize by bdrodes
2m 33s bdrodes:santander-java-crypto-check
bdrodes:santander-java-crypto-check
2m 33s
Crypto: Add Java Cryptographic Analysis Queries Check framework coverage changes #29077: Pull request #20605 synchronize by bdrodes
2m 32s bdrodes:santander-java-crypto-check
bdrodes:santander-java-crypto-check
2m 32s
Rust: Non-symmetric type propagation for lub coercions Check framework coverage changes #29076: Pull request #20592 synchronize by hvitved
2m 45s hvitved:rust/type-inference-branch-propagation
hvitved:rust/type-inference-branch-propagation
2m 45s
Crypto: Add Java Cryptographic Analysis Queries Check framework coverage changes #29075: Pull request #20605 synchronize by bdrodes
2m 37s bdrodes:santander-java-crypto-check
bdrodes:santander-java-crypto-check
2m 37s
Rust: Non-symmetric type propagation for lub coercions Check framework coverage changes #29074: Pull request #20592 synchronize by hvitved
2m 58s hvitved:rust/type-inference-branch-propagation
hvitved:rust/type-inference-branch-propagation
2m 58s
Rust: Add Callable.getBody() Check framework coverage changes #29073: Pull request #20664 synchronize by hvitved
2m 36s hvitved:rust/callable-get-body
hvitved:rust/callable-get-body
2m 36s
Rust: Add Callable.getBody() Check framework coverage changes #29072: Pull request #20664 synchronize by hvitved
2m 36s hvitved:rust/callable-get-body
hvitved:rust/callable-get-body
2m 36s
Rust: Non-symmetric type propagation for lub coercions Check framework coverage changes #29071: Pull request #20592 synchronize by hvitved
2m 36s hvitved:rust/type-inference-branch-propagation
hvitved:rust/type-inference-branch-propagation
2m 36s