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
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: Replace recursion through forall with ranked recursion Check framework coverage changes #31344: Pull request #21679 opened by hvitved
2m 39s hvitved:rust/type-inference-forall-checks
hvitved:rust/type-inference-forall-checks
2m 39s
Swift: Update to Swift 6.3 Check framework coverage changes #31343: Pull request #21667 synchronize by jketema
2m 48s jketema:jketema/swift-6.3
jketema:jketema/swift-6.3
2m 48s
Data flow: Add hook for preventing lambda dispatch in source call contexts Check framework coverage changes #31342: Pull request #21592 synchronize by hvitved
3m 8s hvitved:dataflow/source-call-context-type-flow
hvitved:dataflow/source-call-context-type-flow
3m 8s
Actions: Add experimental queries for AI output validation CWE 1426 Check framework coverage changes #31341: Pull request #21678 opened by data-douser
2m 29s data-douser:codeql-actions-scs/cwe-1426
data-douser:codeql-actions-scs/cwe-1426
2m 29s
Actions: Add experimental prompt injection queries for CWE 1427 Check framework coverage changes #31340: Pull request #21675 synchronize by data-douser
2m 39s data-douser:codeql-actions-scs/cwe-1427
data-douser:codeql-actions-scs/cwe-1427
2m 39s
Actions: Add experimental prompt injection queries for CWE 1427 Check framework coverage changes #31339: Pull request #21675 opened by data-douser
2m 45s data-douser:codeql-actions-scs/cwe-1427
data-douser:codeql-actions-scs/cwe-1427
2m 45s
Swift: Update to Swift 6.3 Check framework coverage changes #31338: Pull request #21667 synchronize by jketema
2m 35s jketema:jketema/swift-6.3
jketema:jketema/swift-6.3
2m 35s
Swift: Update to Swift 6.3 Check framework coverage changes #31337: Pull request #21667 synchronize by jketema
2m 33s jketema:jketema/swift-6.3
jketema:jketema/swift-6.3
2m 33s
Add extra source to actions CWE-094/CodeInjectionMedium Check framework coverage changes #31336: Pull request #21672 opened by knewbury01
2m 35s knewbury01:knewbury01/adjust-actions-queries-code-injection-medium
knewbury01:knewbury01/adjust-actions-queries-code-injection-medium
2m 35s
Python: Add exception, reachability, and other kinds of modelling Check framework coverage changes #31335: Pull request #21668 synchronize by tausbn
2m 38s tausbn/python-port-shared-infrastructure
tausbn/python-port-shared-infrastructure
2m 38s
Python: Add exception, reachability, and other kinds of modelling Check framework coverage changes #31334: Pull request #21668 synchronize by tausbn
2m 49s tausbn/python-port-shared-infrastructure
tausbn/python-port-shared-infrastructure
2m 49s
Rust: Fix performance issue with additionalExternalFile Check framework coverage changes #31333: Pull request #21671 opened by geoffw0
2m 44s geoffw0:neutralperf
geoffw0:neutralperf
2m 44s
Rust: Fix performance issue associated with neutral models Check framework coverage changes #31332: Pull request #21587 synchronize by geoffw0
2m 43s geoffw0:neutralperf
geoffw0:neutralperf
2m 43s
Swift: Update to Swift 6.3 Check framework coverage changes #31331: Pull request #21667 synchronize by jketema
2m 41s jketema:jketema/swift-6.3
jketema:jketema/swift-6.3
2m 41s
Swift: Update to Swift 6.3 Check framework coverage changes #31330: Pull request #21667 synchronize by jketema
2m 45s jketema:jketema/swift-6.3
jketema:jketema/swift-6.3
2m 45s
Adjust alert messages CWE-829/ArtifactPoisoning[Critical|Medium] Check framework coverage changes #31329: Pull request #21640 synchronize by knewbury01
2m 29s knewbury01:knewbury01/adjust-actions-queries-alerts
knewbury01:knewbury01/adjust-actions-queries-alerts
2m 29s
Python: Add exception, reachability, and other kinds of modelling Check framework coverage changes #31328: Pull request #21668 opened by tausbn
2m 37s tausbn/python-port-shared-infrastructure
tausbn/python-port-shared-infrastructure
2m 37s
C#: Replace CFG with the shared implementation Check framework coverage changes #31327: Pull request #21565 synchronize by aschackmull
2m 50s aschackmull:csharp/cfg2
aschackmull:csharp/cfg2
2m 50s
C#: Replace CFG with the shared implementation Check framework coverage changes #31326: Pull request #21565 synchronize by aschackmull
3m 4s aschackmull:csharp/cfg2
aschackmull:csharp/cfg2
3m 4s
Swift: Update to Swift 6.3 Check framework coverage changes #31325: Pull request #21667 opened by jketema
2m 48s jketema:jketema/swift-6.3
jketema:jketema/swift-6.3
2m 48s
C#: Replace CFG with the shared implementation Check framework coverage changes #31324: Pull request #21565 synchronize by aschackmull
3m 0s aschackmull:csharp/cfg2
aschackmull:csharp/cfg2
3m 0s
Rust: Track closure types in data flow Check framework coverage changes #31323: Pull request #21596 synchronize by hvitved
3m 18s hvitved:rust/data-flow-closure-type
hvitved:rust/data-flow-closure-type
3m 18s
Python: Port ModificationOfLocals.ql Check framework coverage changes #31322: Pull request #21602 synchronize by tausbn
2m 42s tausbn/python-port-modification-of-locals
tausbn/python-port-modification-of-locals
2m 42s
Python: Port ModificationOfLocals.ql Check framework coverage changes #31321: Pull request #21602 synchronize by tausbn
2m 34s tausbn/python-port-modification-of-locals
tausbn/python-port-modification-of-locals
2m 34s
Rust: Fix performance issue associated with neutral models Check framework coverage changes #31320: Pull request #21587 synchronize by geoffw0
2m 36s geoffw0:neutralperf
geoffw0:neutralperf
2m 36s