diff --git a/docs/front-matter.md b/docs/front-matter.md index 3c5108d1..02a98975 100644 --- a/docs/front-matter.md +++ b/docs/front-matter.md @@ -16,14 +16,7 @@ engine: copilot # Engine identifier. Defaults to copilot. Currently only 'copilo # id: copilot # model: claude-opus-4.7 # timeout-minutes: 30 -on: - schedule: daily around 14:00 # Fuzzy schedule syntax - see docs/schedule-syntax.md - # schedule: # Alternative object format (with branch filtering) - # run: daily around 14:00 - # branches: - # - main - # - release/* -workspace: repo# Optional: "root", "repo" (alias: "self"), or a checked-out repository alias. If not specified, defaults to "root" when no additional repositories are listed in `checkout:`, and to "repo" when one or more additional repos are checked out. See "Workspace Defaults" below. +workspace: repo # Optional: "root", "repo" (alias: "self"), or a checked-out repository alias. If not specified, defaults to "root" when no additional repositories are listed in `checkout:`, and to "repo" when one or more additional repos are checked out. See "Workspace Defaults" below. pool: AZS-1ES-L-MMS-ubuntu-22.04 # Agent pool name (string format). Defaults to AZS-1ES-L-MMS-ubuntu-22.04. # pool: # Alternative object format (required for 1ES if specifying os) # name: AZS-1ES-L-MMS-ubuntu-22.04 @@ -52,6 +45,14 @@ runtimes: # optional runtime configuration (language enviro lean: true # Lean 4 theorem prover (see docs/runtimes.md) # lean: # Alternative object format (with toolchain pinning) # toolchain: "leanprover/lean4:v4.29.1" + # python: true # Python runtime — auto-installs via UsePythonVersion@0 (see docs/runtimes.md) + # python: # Alternative object format (pin version, configure internal feed) + # version: "3.12" + # feed-url: "https://pkgs.dev.azure.com/myorg/_packaging/myfeed/pypi/simple/" + # node: true # Node.js runtime — auto-installs via NodeTool@0 (see docs/runtimes.md) + # node: # Alternative object format (pin version, configure internal feed) + # version: "22.x" + # feed-url: "https://pkgs.dev.azure.com/ORG/PROJECT/_packaging/FEED/npm/registry/" # env: # RESERVED: workflow-level environment variables (not yet implemented) # CUSTOM_VAR: "value" mcp-servers: