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,735 workflow runs
6,735 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

C#: Reduce location tuples. Check framework coverage changes #28816: Pull request #20525 synchronize by michaelnebel
2m 42s michaelnebel:csharp/reducelocationtuples
michaelnebel:csharp/reducelocationtuples
2m 42s
Rust: Macro call resolution Check framework coverage changes #28815: Pull request #20548 synchronize by hvitved
2m 37s hvitved:rust/macro-call-resolution
hvitved:rust/macro-call-resolution
2m 37s
C#: Instantiate shared Guards and shared ControlFlowReachability and replace nullness Check framework coverage changes #28814: Pull request #20558 synchronize by aschackmull
2m 50s aschackmull:csharp/guards3
aschackmull:csharp/guards3
2m 50s
Crypto: Refactor Model and signatures, fix models, add unit tests Check framework coverage changes #28813: Pull request #19944 synchronize by bdrodes
2m 29s bdrodes:signature_model_refactor
bdrodes:signature_model_refactor
2m 29s
Crypto: Add Java cryptographic check queries Check framework coverage changes #28812: Pull request #20568 synchronize by unprovable
2m 40s Santandersecurityresearch:java-crypto-check
Santandersecurityresearch:java-crypto-check
2m 40s
Python: enable overlay compilation + extractor overlay support Check framework coverage changes #28811: Pull request #20337 synchronize by d10c
2m 28s d10c:d10c/python-overlay-compilation-plus-extractor
d10c:d10c/python-overlay-compilation-plus-extractor
2m 28s
C++: Switch to the shared Guards library Check framework coverage changes #28810: Pull request #20485 synchronize by MathiasVP
2m 44s MathiasVP:use-shared-guards-library
MathiasVP:use-shared-guards-library
2m 44s
Go: Switch from def-use flow to use-use flow Check framework coverage changes #28809: Pull request #14751 synchronize by owen-mc
2m 34s owen-mc:go/feature/use-use-flow
owen-mc:go/feature/use-use-flow
2m 34s
Crypto: Refactor Model and signatures, fix models, add unit tests Check framework coverage changes #28808: Pull request #19944 synchronize by bdrodes
2m 51s bdrodes:signature_model_refactor
bdrodes:signature_model_refactor
2m 51s
Swift: Make extractor compile with Swift 6.2 Check framework coverage changes #28807: Pull request #20446 synchronize by jketema
2m 24s jketema/swift-6.2
jketema/swift-6.2
2m 24s
Go: Add tests for SafeUrlFlow, and fix a latent bug Check framework coverage changes #28806: Pull request #20556 synchronize by owen-mc
2m 35s owen-mc:go/test/safeurlflow
owen-mc:go/test/safeurlflow
2m 35s
Rust: Macro call resolution Check framework coverage changes #28805: Pull request #20548 synchronize by hvitved
2m 28s hvitved:rust/macro-call-resolution
hvitved:rust/macro-call-resolution
2m 28s
Go: Switch from def-use flow to use-use flow Check framework coverage changes #28804: Pull request #14751 synchronize by owen-mc
2m 38s owen-mc:go/feature/use-use-flow
owen-mc:go/feature/use-use-flow
2m 38s
Rust: Rework call resolution and type inference for calls Check framework coverage changes #28803: Pull request #20282 synchronize by hvitved
2m 26s hvitved:rust/type-inference-method-call-resolution-rework
hvitved:rust/type-inference-method-call-resolution-rework
2m 26s
Go: Switch from def-use flow to use-use flow Check framework coverage changes #28799: Pull request #14751 synchronize by owen-mc
2m 40s owen-mc:go/feature/use-use-flow
owen-mc:go/feature/use-use-flow
2m 40s
C++: Switch to the shared Guards library Check framework coverage changes #28798: Pull request #20485 synchronize by MathiasVP
2m 27s MathiasVP:use-shared-guards-library
MathiasVP:use-shared-guards-library
2m 27s
C++: Switch to the shared Guards library Check framework coverage changes #28797: Pull request #20485 synchronize by MathiasVP
2m 28s MathiasVP:use-shared-guards-library
MathiasVP:use-shared-guards-library
2m 28s
Go: Add tests for SafeUrlFlow, and fix a latent bug Check framework coverage changes #28796: Pull request #20556 synchronize by owen-mc
2m 35s owen-mc:go/test/safeurlflow
owen-mc:go/test/safeurlflow
2m 35s
Go: Add tests for SafeUrlFlow, and fix a latent bug Check framework coverage changes #28795: Pull request #20556 synchronize by owen-mc
2m 43s owen-mc:go/test/safeurlflow
owen-mc:go/test/safeurlflow
2m 43s
Rust: Remove member predicates on Type Check framework coverage changes #28794: Pull request #20557 synchronize by paldepind
2m 25s paldepind:rust/type-inference-delete-predicates
paldepind:rust/type-inference-delete-predicates
2m 25s
Rust: Rework call resolution and type inference for calls Check framework coverage changes #28793: Pull request #20282 synchronize by hvitved
2m 29s hvitved:rust/type-inference-method-call-resolution-rework
hvitved:rust/type-inference-method-call-resolution-rework
2m 29s
Go: Add tests for SafeUrlFlow, and fix a latent bug Check framework coverage changes #28792: Pull request #20556 synchronize by owen-mc
2m 38s owen-mc:go/test/safeurlflow
owen-mc:go/test/safeurlflow
2m 38s
Rust: Rework call resolution and type inference for calls Check framework coverage changes #28791: Pull request #20282 synchronize by hvitved
2m 37s hvitved:rust/type-inference-method-call-resolution-rework
hvitved:rust/type-inference-method-call-resolution-rework
2m 37s
Azure python sdk url summary upstream Check framework coverage changes #28790: Pull request #20563 synchronize by bdrodes
2m 29s microsoft:azure_python_sdk_url_summary_upstream
microsoft:azure_python_sdk_url_summary_upstream
2m 29s
Azure python sdk url summary upstream Check framework coverage changes #28789: Pull request #20563 synchronize by bdrodes
2m 30s microsoft:azure_python_sdk_url_summary_upstream
microsoft:azure_python_sdk_url_summary_upstream
2m 30s
ProTip! You can narrow down the results and go further in time using created:<2025-09-30 or the other filters available.