From 6559584502c154bbeb54f22feb85e284bf298e22 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sat, 2 Nov 2024 12:23:36 -0700 Subject: [PATCH] use original gai Signed-off-by: Nikolaj Bjorner --- genaisrc/gai.genai.mts | 16 ++++------------ 1 file changed, 4 insertions(+), 12 deletions(-) diff --git a/genaisrc/gai.genai.mts b/genaisrc/gai.genai.mts index d01914c13..9de3cf11a 100644 --- a/genaisrc/gai.genai.mts +++ b/genaisrc/gai.genai.mts @@ -1,24 +1,16 @@ script({ tools: ["agent_fs", "agent_git", "agent_github"], - parameters: { - workflow: { type: "string" }, // Workflow name - failure_run_id: { type: "number" }, // ID of the failed run - branch: { type: "string" }, // Branch name - }, - model: "azure:gpt-4o", - maxTokens: 2000 }) const { - workflow = "cross-build.yml", - failure_run_id = "11299772255", - branch = await git.branch(), + 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 latest commit. -- Do only consider the branch ${branch} in the analysis. +- 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.