diff --git a/README.md b/README.md index a612020..7d8d3c4 100644 --- a/README.md +++ b/README.md @@ -93,7 +93,7 @@ Authorization: token GITEA_TOKEN ## Gitea Workflow Loop -After pushing commits that trigger a Gitea workflow, Codex agents must keep checking the resulting workflow run before finishing. Poll the run until it reaches a terminal state. If it succeeds, report the successful run. If it fails or is cancelled, inspect the failing job/logs, fix the issue when it is in scope, commit, push, and repeat the check loop for the next run. Do not stop after a single in-progress status when the user asked the agent to continue the loop. +After pushing commits that trigger a Gitea workflow, Codex agents must keep checking the resulting workflow run before finishing. Poll the run until it reaches a terminal state. If it succeeds, report the successful run. If it fails or is cancelled, inspect the failing job/logs, fix the issue when it is in scope, commit, push, and repeat the check loop for the next run. A fixed failure is not a stopping point; the loop continues after the follow-up push until a workflow succeeds or a concrete out-of-scope blocker is reached. Do not stop after a single in-progress status when the user asked the agent to continue the loop. ## Agent Prompt For A New Repo diff --git a/agent-quickstart.md b/agent-quickstart.md index b490d25..5b45cdb 100644 --- a/agent-quickstart.md +++ b/agent-quickstart.md @@ -55,7 +55,7 @@ Is this a private Gitea repo with Actions? no -> use public web/API checks when available Did you push a commit that should trigger a workflow? - yes -> poll the workflow run until success; if it fails, inspect logs, fix in scope, push again, and repeat the loop + yes -> poll the workflow run until success; if it fails, inspect logs, fix in scope, push again, and keep looping after the follow-up push no -> finish with local verification status ``` diff --git a/existing-project.md b/existing-project.md index 5fb8091..e4f4643 100644 --- a/existing-project.md +++ b/existing-project.md @@ -146,7 +146,7 @@ Before final response: - run `git diff --check`, - run the smallest reliable verification command, - if using Gitea Actions, poll the pushed workflow run until it reaches a terminal state; for private `git.wilkensxl.de` repositories, use a locally set `GITEA_TOKEN` for read-only API status checks when available, -- if the pushed workflow fails or is cancelled, inspect the failing job/logs, fix in scope, push again, and repeat the workflow check loop, +- if the pushed workflow fails or is cancelled, inspect the failing job/logs, fix in scope, push again, and repeat the workflow check loop; fixing and pushing is not a stopping point, - list files changed, - mention any skipped checks, - do not create a release unless explicitly requested. diff --git a/files/AGENTS.md b/files/AGENTS.md index 25a80e0..5c4e059 100644 --- a/files/AGENTS.md +++ b/files/AGENTS.md @@ -12,7 +12,7 @@ PROJECT_NAME: PROJECT_DESCRIPTION - Do not rewrite history or run destructive git commands unless explicitly requested. - Do not create a release unless explicitly requested. - If `GITEA_TOKEN` is available locally, use it only for read-only Gitea API checks such as private repository metadata, package-read visibility, and Actions run status. Never print, commit, or store the token. -- After pushing commits that trigger a Gitea workflow, poll the workflow run until it succeeds or fails. If it fails or is cancelled, inspect the failing job/logs, fix the issue when in scope, push again, and repeat the workflow check loop. +- After pushing commits that trigger a Gitea workflow, poll the workflow run until it succeeds. If it fails or is cancelled, inspect the failing job/logs, fix the issue when in scope, push again, and repeat the workflow check loop. Fixing and pushing a workflow failure is not a stopping point. ## Commands diff --git a/new-repository.md b/new-repository.md index 6d4abf6..f09d44d 100644 --- a/new-repository.md +++ b/new-repository.md @@ -155,7 +155,7 @@ Before final response: - run the cheapest reliable verification command, - check `git diff --check`, - if using Gitea Actions, poll the pushed workflow run until it reaches a terminal state; for private `git.wilkensxl.de` repositories, use a locally set `GITEA_TOKEN` for read-only API status checks when available, -- if the pushed workflow fails or is cancelled, inspect the failing job/logs, fix in scope, push again, and repeat the workflow check loop, +- if the pushed workflow fails or is cancelled, inspect the failing job/logs, fix in scope, push again, and repeat the workflow check loop; fixing and pushing is not a stopping point, - summarize changed files, - do not create a release unless explicitly requested.