move the workflow to .github/workflows

act looks in .github/workflows by default, and running it locally before a
commit is one of this repository's rules; keeping the workflow where act cannot
see it meant every invocation needed -W. Gitea Actions reads both locations, so
only one of them may exist or a push fires the run twice.

AGENTS.md

@@ -3,7 +3,7 @@
 Rules for AI coding assistants working in this repository.
 
 - **dora >= 1.0.** Verified against `dora-cli 1.0.1`, which CI pins in
-  `.gitea/workflows/validate.yml`.
+  `.github/workflows/validate.yml`.
 - **`uv` for everything:** `uv sync --group dev`, `uv run pytest`,
   `uv run ruff check .`, `uv run python ...`. Never `pip` into the ambient
   environment.
@@ -13,13 +13,15 @@ Rules for AI coding assistants working in this repository.
 - **numpy-style docstrings.**
 - **Dependencies must ship prebuilt wheels for linux-x86_64, linux-aarch64 and
   macos-arm64.** `uv sync` is the whole install: no system packages, no compiler.
-- **Run the workflow locally with `act` before asking for a commit.** It lives in
+- **Run the workflow locally with `act` before asking for a commit:**
-  `.gitea/workflows/`, which is not where `act` looks by default:
 
   ```bash
-  act pull_request -W .gitea/workflows/validate.yml \
+  act pull_request -P ubuntu-latest=catthehacker/ubuntu:act-latest
-      -P ubuntu-latest=catthehacker/ubuntu:act-latest
   ```
 
+  Workflows live in `.github/workflows/`, not `.gitea/workflows/`, so that `act`
+  finds them with no `-W`. Gitea Actions reads both locations; keep only this one,
+  or a run fires twice.
+
 - **Do not commit or push.** Leave changes in the working tree and wait to be asked.
 - **Do not mention AI tools in commit messages or documentation.**