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
Add MaDs for Apache Avro Check framework coverage changes #31518: Pull request #21754 synchronize by jacknojo
2m 38s jacknojo/add_llm_generated_mads_for_avro
jacknojo/add_llm_generated_mads_for_avro
2m 38s
C#: Include parameters and their defaults in the CFG Check framework coverage changes #31517: Pull request #21759 synchronize by hvitved
1m 45s hvitved:csharp/cfg-params
hvitved:csharp/cfg-params
1m 45s
C#: Include parameters and their defaults in the CFG Check framework coverage changes #31516: Pull request #21759 synchronize by hvitved
1m 50s hvitved:csharp/cfg-params
hvitved:csharp/cfg-params
1m 50s
Go: Avoid combinatorial explosion in mostRecentSideEffect when there are multiple entry points Check framework coverage changes #31515: Pull request #21753 synchronize by hvitved
2m 52s hvitved:go/most-recent-side-effect-multi-entry
hvitved:go/most-recent-side-effect-multi-entry
2m 52s
C#: Include parameters and their defaults in the CFG Check framework coverage changes #31514: Pull request #21759 synchronize by hvitved
1m 49s hvitved:csharp/cfg-params
hvitved:csharp/cfg-params
1m 49s
C#: Include parameters and their defaults in the CFG Check framework coverage changes #31513: Pull request #21759 synchronize by hvitved
1m 45s hvitved:csharp/cfg-params
hvitved:csharp/cfg-params
1m 45s
C#: Include parameters and their defaults in the CFG Check framework coverage changes #31512: Pull request #21759 synchronize by hvitved
1m 47s hvitved:csharp/cfg-params
hvitved:csharp/cfg-params
1m 47s
C#: Include parameters and their defaults in the CFG Check framework coverage changes #31511: Pull request #21759 synchronize by hvitved
1m 48s hvitved:csharp/cfg-params
hvitved:csharp/cfg-params
1m 48s
C#: Include parameters and their defaults in the CFG Check framework coverage changes #31510: Pull request #21759 synchronize by hvitved
1m 43s hvitved:csharp/cfg-params
hvitved:csharp/cfg-params
1m 43s
C#: Include parameters and their defaults in the CFG Check framework coverage changes #31509: Pull request #21759 opened by hvitved
1m 17s hvitved:csharp/cfg-params
hvitved:csharp/cfg-params
1m 17s
JS: Add support for @vercel/node serverless functions Check framework coverage changes #31508: Pull request #21697 synchronize by murderteeth
2m 48s yearn:js/vercel-node-framework
yearn:js/vercel-node-framework
2m 48s
JS: Add support for @vercel/node serverless functions Check framework coverage changes #31507: Pull request #21697 synchronize by murderteeth
Action required yearn:js/vercel-node-framework
yearn:js/vercel-node-framework
Action required
Go: migrate control flow graph to shared CFG library Check framework coverage changes #31506: Pull request #21614 synchronize by Copilot AI
Action required copilot/vscode-mndb17m3-9fpv
copilot/vscode-mndb17m3-9fpv
Action required
Add MaDs for Apache Avro Check framework coverage changes #31505: Pull request #21754 opened by jacknojo
2m 32s jacknojo/add_llm_generated_mads_for_avro
jacknojo/add_llm_generated_mads_for_avro
2m 32s
Go: improve accuracy of overlay annotations Check framework coverage changes #31504: Pull request #21740 synchronize by owen-mc
2m 45s owen-mc:go/overlay-correctness
owen-mc:go/overlay-correctness
2m 45s
Go: Avoid combinatorial explosion in mostRecentSideEffect when there are multiple entry points Check framework coverage changes #31503: Pull request #21753 synchronize by hvitved
2m 48s hvitved:go/most-recent-side-effect-multi-entry
hvitved:go/most-recent-side-effect-multi-entry
2m 48s
Move generated MaDs into modelgenerator/ Check framework coverage changes #31502: Pull request #21751 synchronize by jacknojo
2m 43s jacknojo/move_java_generated_mads
jacknojo/move_java_generated_mads
2m 43s
Go: Avoid combinatorial explosion in mostRecentSideEffect when there are multiple entry points Check framework coverage changes #31501: Pull request #21753 opened by hvitved
2m 53s hvitved:go/most-recent-side-effect-multi-entry
hvitved:go/most-recent-side-effect-multi-entry
2m 53s
Move generated MaDs into modelgenerator/ Check framework coverage changes #31500: Pull request #21751 synchronize by jacknojo
2m 42s jacknojo/move_java_generated_mads
jacknojo/move_java_generated_mads
2m 42s
C# 14: User defined compound assignment operators. Check framework coverage changes #31499: Pull request #21372 synchronize by michaelnebel
2m 52s michaelnebel:csharp14/usercompoundassignment
michaelnebel:csharp14/usercompoundassignment
2m 52s
Move generated MaDs into modelgenerator/ Check framework coverage changes #31498: Pull request #21751 synchronize by jacknojo
2m 35s jacknojo/move_java_generated_mads
jacknojo/move_java_generated_mads
2m 35s
Go: Only compute most recent side effect for relevant nodes Check framework coverage changes #31497: Pull request #21752 synchronize by hvitved
5m 14s hvitved:go/most-recent-side-effect-manual-magic
hvitved:go/most-recent-side-effect-manual-magic
5m 14s
Go: Only compute most recent side effect for relevant nodes Check framework coverage changes #31496: Pull request #21752 opened by hvitved
2m 45s hvitved:go/most-recent-side-effect-manual-magic
hvitved:go/most-recent-side-effect-manual-magic
2m 45s
Add Hibernate SQL injection sink models and coverage Check framework coverage changes #31495: Pull request #21749 synchronize by Copilot AI
2m 50s copilot/add-hibernate-sql-injection-tests
copilot/add-hibernate-sql-injection-tests
2m 50s
Move generated MaDs into modelgenerator/ Check framework coverage changes #31493: Pull request #21751 opened by jacknojo
2m 35s jacknojo/move_java_generated_mads
jacknojo/move_java_generated_mads
2m 35s