Skip to content

docs: fix documentation drift — add .NET runtime across all docs#477

Merged
jamesadevine merged 2 commits intomainfrom
copilot/fix-documentation-drift-add-dotnet-runtime
May 8, 2026
Merged

docs: fix documentation drift — add .NET runtime across all docs#477
jamesadevine merged 2 commits intomainfrom
copilot/fix-documentation-drift-add-dotnet-runtime

Conversation

Copy link
Copy Markdown
Contributor

Copilot AI commented May 8, 2026

src/runtimes/dotnet/ is a fully implemented runtime but was absent from three documentation surfaces and the workflow authoring prompt.

Changes

  • AGENTS.md architecture tree — added dotnet/ subtree under runtimes/ alongside lean/, python/, node/
  • AGENTS.md docs index — updated docs/runtimes.md blurb from "Lean 4, Python, Node.js" → "Lean 4, Python, Node.js, .NET"
  • README.md front matter tableruntimes row description updated from (`lean`)(`lean`, `python`, `node`, `dotnet`)
  • prompts/create-ado-agentic-workflow.md — inserted Step 13 — Runtimes (optional) with YAML examples for all four runtimes and a multi-runtime combination example; former Step 13 (Network) renumbered to Step 14

Test plan

Documentation-only changes; verified by visual inspection of all four modified files.

Copilot AI changed the title [WIP] Fix documentation drift — add .NET runtime across all docs docs: fix documentation drift — add .NET runtime across all docs May 8, 2026
Copilot AI requested a review from jamesadevine May 8, 2026 21:24
@jamesadevine jamesadevine marked this pull request as ready for review May 8, 2026 22:02
@jamesadevine jamesadevine merged commit ffa59e5 into main May 8, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

docs: fix documentation drift — add .NET runtime across all docs

2 participants