From 3f9163d29d27a0394cedefacef441fd48445232b Mon Sep 17 00:00:00 2001 From: Diego Prada-Gracia Date: Sun, 2 Nov 2025 20:35:34 -0600 Subject: [PATCH] docs: align devtools profile name with requirements --- devtools/AGENTS.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/devtools/AGENTS.md b/devtools/AGENTS.md index 81ac438..2bd9a0d 100644 --- a/devtools/AGENTS.md +++ b/devtools/AGENTS.md @@ -12,7 +12,7 @@ This directory hosts development-support tooling: dependency management, Conda environment scripts, packaging utilities, and operational guidance. - `requirements.yaml` is the single source of truth for dependencies across the - different profiles (setup, production, tests, docs, development, and + different profiles (setup, production, test, docs, development, and conda-build). - `broadcast_requirements.py` propagates updates from `requirements.yaml` into @@ -53,8 +53,8 @@ environment scripts, packaging utilities, and operational guidance. - Always report any change to dependencies in the relevant PR. -- Profiles names are `setup`, `production`, `tests`, `docs`, `development`, and - `conda-build`. In general, use `development` for day-to-day work, `tests` +- Profiles names are `setup`, `production`, `test`, `docs`, `development`, and + `conda-build`. In general, use `development` for day-to-day work, `test` for CI-related tasks, and `docs` for dependencies to build documentation. ## Python Scripts in devtools