mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-02-19 15:04:42 +00:00
Code Activity

Change code-conventions-analyzer workflow discussion category to "Agentic Workflows" (#8203)

Browse source 
* Initial plan

* Update code-conventions-analyzer discussion category to "Agentic Workflows"

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-15 12:45:47 -08:00 • committed by Nikolaj Bjorner
parent 5d78c82f01
commit d43b6d2684
2 changed files with 142 additions and 39 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -18,7 +18,7 @@ tools:
safe-outputs:
create-discussion:
title-prefix: "Code Conventions Analysis"
category: "General"
category: "Agentic Workflows"
close-older-discussions: true
missing-tool:
create-issue: true