mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-01-28 12:58:43 +00:00
Code Activity

Increase code-conventions-analyzer issue creation limit to 5 per run (#8332)

Browse source 
* Initial plan

* Add max: 5 to code-conventions-analyzer workflow to generate up to 5 issues per run

Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>

---------

Co-authored-by: copilot-swe-agent[bot] <198982749+Copilot@users.noreply.github.com>
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
This commit is contained in:
Copilot 2026-01-25 12:31:07 -08:00 • committed by GitHub
parent d87aa87ae4
commit 944777afc0
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
2 changed files with 4 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

1
.github/workflows/code-conventions-analyzer.md vendored
View file

@ -20,6 +20,7 @@ safe-outputs:
create-issue:
title-prefix: "[Conventions] "
labels: [code-quality, automated]
max: 5
create-discussion:
title-prefix: "Code Conventions Analysis"
category: "Agentic Workflows"