mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-07-04 06:16:09 +00:00
Code Activity

Change missing-tool action from issue to pull request

Browse source
This commit is contained in:
Nikolaj Bjorner 2026-01-22 20:57:26 -08:00 • committed by GitHub
parent 7f91a3321d
commit 995e8c6555
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -27,7 +27,7 @@ safe-outputs:
category: "Agentic Workflows" category: "Agentic Workflows"
close-older-discussions: true close-older-discussions: true
missing-tool: missing-tool:
create-issue: true create-pull-request: true
network: defaults network: defaults
timeout-minutes: 20 timeout-minutes: 20
--- ---
@ -986,4 +986,4 @@ grep pattern: "<<\s*\".*\"\s*<<\s*\".*\"" glob: "src/**/*.cpp"
- Use the structured format above - Use the structured format above
- Include specific file references for all examples - Include specific file references for all examples
- Provide actionable recommendations - Provide actionable recommendations
- Previous discussions created by this workflow will be automatically closed (using `close-older-discussions: true`) - Previous discussions created by this workflow will be automatically closed (using `close-older-discussions: true`)