Skip to content

Commit 3eca09b

Browse files
docs: fix documentation drift from recent PRs (#423)
Agent-Logs-Url: https://github.com/githubnext/ado-aw/sessions/ce99543c-dacc-4e66-ae3d-7d811d603b42 Co-authored-by: copilot-swe-agent[bot] <198982749+Copilot@users.noreply.github.com> Co-authored-by: jamesadevine <4742697+jamesadevine@users.noreply.github.com>
1 parent 7a600a6 commit 3eca09b

1 file changed

Lines changed: 9 additions & 8 deletions

File tree

docs/front-matter.md

Lines changed: 9 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -16,14 +16,7 @@ engine: copilot # Engine identifier. Defaults to copilot. Currently only 'copilo
1616
# id: copilot
1717
# model: claude-opus-4.7
1818
# timeout-minutes: 30
19-
on:
20-
schedule: daily around 14:00 # Fuzzy schedule syntax - see docs/schedule-syntax.md
21-
# schedule: # Alternative object format (with branch filtering)
22-
# run: daily around 14:00
23-
# branches:
24-
# - main
25-
# - release/*
26-
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.
19+
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.
2720
pool: AZS-1ES-L-MMS-ubuntu-22.04 # Agent pool name (string format). Defaults to AZS-1ES-L-MMS-ubuntu-22.04.
2821
# pool: # Alternative object format (required for 1ES if specifying os)
2922
# name: AZS-1ES-L-MMS-ubuntu-22.04
@@ -52,6 +45,14 @@ runtimes: # optional runtime configuration (language enviro
5245
lean: true # Lean 4 theorem prover (see docs/runtimes.md)
5346
# lean: # Alternative object format (with toolchain pinning)
5447
# toolchain: "leanprover/lean4:v4.29.1"
48+
# python: true # Python runtime — auto-installs via UsePythonVersion@0 (see docs/runtimes.md)
49+
# python: # Alternative object format (pin version, configure internal feed)
50+
# version: "3.12"
51+
# feed-url: "https://pkgs.dev.azure.com/myorg/_packaging/myfeed/pypi/simple/"
52+
# node: true # Node.js runtime — auto-installs via NodeTool@0 (see docs/runtimes.md)
53+
# node: # Alternative object format (pin version, configure internal feed)
54+
# version: "22.x"
55+
# feed-url: "https://pkgs.dev.azure.com/ORG/PROJECT/_packaging/FEED/npm/registry/"
5556
# env: # RESERVED: workflow-level environment variables (not yet implemented)
5657
# CUSTOM_VAR: "value"
5758
mcp-servers:

0 commit comments

Comments
 (0)