mirror of
https://github.com/Z3Prover/z3
synced 2026-03-15 17:49:59 +00:00
Merge pull request #8968 from Z3Prover/copilot/aw-no-op-runs-tracking
Suppress no-op agentic workflow runs from posting to tracking issue
This commit is contained in:
commit
d772503b25
13 changed files with 26 additions and 0 deletions
2
.github/workflows/a3-python.md
vendored
2
.github/workflows/a3-python.md
vendored
|
|
@ -15,6 +15,8 @@ safe-outputs:
|
|||
- automated-analysis
|
||||
- a3-python
|
||||
title-prefix: "[a3-python] "
|
||||
noop:
|
||||
report-as-issue: false
|
||||
description: Analyzes Python code using a3-python tool to identify bugs and issues
|
||||
name: A3 Python Code Analysis
|
||||
strict: true
|
||||
|
|
|
|||
2
.github/workflows/api-coherence-checker.md
vendored
2
.github/workflows/api-coherence-checker.md
vendored
|
|
@ -26,6 +26,8 @@ safe-outputs:
|
|||
title-prefix: "[API Coherence] "
|
||||
category: "Agentic Workflows"
|
||||
close-older-discussions: true
|
||||
noop:
|
||||
report-as-issue: false
|
||||
github-token: ${{ secrets.GITHUB_TOKEN }}
|
||||
|
||||
steps:
|
||||
|
|
|
|||
2
.github/workflows/build-warning-fixer.md
vendored
2
.github/workflows/build-warning-fixer.md
vendored
|
|
@ -14,6 +14,8 @@ safe-outputs:
|
|||
if-no-changes: ignore
|
||||
missing-tool:
|
||||
create-issue: true
|
||||
noop:
|
||||
report-as-issue: false
|
||||
timeout-minutes: 60
|
||||
---
|
||||
|
||||
|
|
|
|||
|
|
@ -27,6 +27,8 @@ safe-outputs:
|
|||
close-older-discussions: true
|
||||
missing-tool:
|
||||
create-issue: true
|
||||
noop:
|
||||
report-as-issue: false
|
||||
network: defaults
|
||||
timeout-minutes: 20
|
||||
---
|
||||
|
|
|
|||
2
.github/workflows/code-simplifier.md
vendored
2
.github/workflows/code-simplifier.md
vendored
|
|
@ -13,6 +13,8 @@ safe-outputs:
|
|||
- code-quality
|
||||
- automation
|
||||
title-prefix: "[code-simplifier] "
|
||||
noop:
|
||||
report-as-issue: false
|
||||
description: Analyzes recently modified code and creates pull requests with simplifications that improve clarity, consistency, and maintainability while preserving functionality
|
||||
name: Code Simplifier
|
||||
source: github/gh-aw/.github/workflows/code-simplifier.md@76d37d925abd44fee97379206f105b74b91a285b
|
||||
|
|
|
|||
2
.github/workflows/csa-analysis.md
vendored
2
.github/workflows/csa-analysis.md
vendored
|
|
@ -26,6 +26,8 @@ safe-outputs:
|
|||
close-older-discussions: true
|
||||
missing-tool:
|
||||
create-issue: true
|
||||
noop:
|
||||
report-as-issue: false
|
||||
|
||||
steps:
|
||||
- name: Checkout repository
|
||||
|
|
|
|||
2
.github/workflows/issue-backlog-processor.md
vendored
2
.github/workflows/issue-backlog-processor.md
vendored
|
|
@ -19,6 +19,8 @@ safe-outputs:
|
|||
close-older-discussions: true
|
||||
add-comment:
|
||||
max: 20
|
||||
noop:
|
||||
report-as-issue: false
|
||||
github-token: ${{ secrets.GITHUB_TOKEN }}
|
||||
|
||||
timeout-minutes: 60
|
||||
|
|
|
|||
2
.github/workflows/memory-safety-report.md
vendored
2
.github/workflows/memory-safety-report.md
vendored
|
|
@ -37,6 +37,8 @@ safe-outputs:
|
|||
close-older-discussions: true
|
||||
missing-tool:
|
||||
create-issue: true
|
||||
noop:
|
||||
report-as-issue: false
|
||||
|
||||
steps:
|
||||
- name: Checkout repository
|
||||
|
|
|
|||
2
.github/workflows/qf-s-benchmark.md
vendored
2
.github/workflows/qf-s-benchmark.md
vendored
|
|
@ -21,6 +21,8 @@ safe-outputs:
|
|||
close-older-discussions: true
|
||||
missing-tool:
|
||||
create-issue: true
|
||||
noop:
|
||||
report-as-issue: false
|
||||
|
||||
timeout-minutes: 90
|
||||
|
||||
|
|
|
|||
2
.github/workflows/release-notes-updater.md
vendored
2
.github/workflows/release-notes-updater.md
vendored
|
|
@ -24,6 +24,8 @@ safe-outputs:
|
|||
title-prefix: "[Release Notes] "
|
||||
category: "Announcements"
|
||||
close-older-discussions: false
|
||||
noop:
|
||||
report-as-issue: false
|
||||
github-token: ${{ secrets.GITHUB_TOKEN }}
|
||||
|
||||
steps:
|
||||
|
|
|
|||
2
.github/workflows/tactic-to-simplifier.md
vendored
2
.github/workflows/tactic-to-simplifier.md
vendored
|
|
@ -30,6 +30,8 @@ safe-outputs:
|
|||
- tactic-to-simplifier
|
||||
title-prefix: "[tactic-to-simplifier] "
|
||||
max: 3
|
||||
noop:
|
||||
report-as-issue: false
|
||||
github-token: ${{ secrets.GITHUB_TOKEN }}
|
||||
|
||||
steps:
|
||||
|
|
|
|||
|
|
@ -23,6 +23,8 @@ safe-outputs:
|
|||
title-prefix: "[Workflow Suggestions] "
|
||||
category: "Agentic Workflows"
|
||||
close-older-discussions: true
|
||||
noop:
|
||||
report-as-issue: false
|
||||
github-token: ${{ secrets.GITHUB_TOKEN }}
|
||||
|
||||
steps:
|
||||
|
|
|
|||
2
.github/workflows/zipt-code-reviewer.md
vendored
2
.github/workflows/zipt-code-reviewer.md
vendored
|
|
@ -35,6 +35,8 @@ safe-outputs:
|
|||
max: 3
|
||||
missing-tool:
|
||||
create-issue: true
|
||||
noop:
|
||||
report-as-issue: false
|
||||
|
||||
timeout-minutes: 30
|
||||
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue