mirror of
https://github.com/Z3Prover/z3
synced 2025-04-04 08:39:57 +00:00
18 lines
613 B
TypeScript
18 lines
613 B
TypeScript
script({
|
|
tools: ["agent_fs", "agent_git", "agent_github"],
|
|
})
|
|
|
|
const {
|
|
workflow = "latest failed",
|
|
failure_run_id = "latest",
|
|
branch = await git.defaultBranch(),
|
|
} = env.vars
|
|
|
|
$`Investigate the status of the ${workflow} workflow and identify the root cause of the failure of run ${failure_run_id} in branch ${branch}.
|
|
|
|
- Correlate the failure with the relevant commits, pull requests or issues.
|
|
- Compare the source code between the failed run commit and the last successful run commit before that run.
|
|
|
|
In your report, include html links to the relevant runs, commits, pull requests or issues.
|
|
`
|