z3/.github/workflows/soundness-bug-detector.md at copilot/recompile-agentic-workflows

mirrors/z3

mirror of https://github.com/Z3Prover/z3 synced 2026-04-02 18:08:57 +00:00

copilot-swe-agent[bot] 402d731976 fix: resolve all agentic workflow compilation errors and recompile

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

2026-03-12 04:40:48 +00:00

description

permissions

network

tools

safe-outputs

timeout-minutes

steps

Automatically validate and reproduce reported soundness bugs

issues

schedule

roles

types

opened

labeled

daily

all

read-all

defaults

cache-memory

github

bash

web-fetch

true

toolsets

default

add-comment

create-discussion

missing-tool

max
2

title-prefix	category	close-older-discussions
[Soundness]	Agentic Workflows	true

create-issue
true

name

uses

with

Checkout repository

actions/checkout@v5

persist-credentials
false

@./agentics/soundness-bug-detector.md