Repository navigation

chore: update the build infrastructure and adopt the latest shared agent instructions - #22

Merged

xperiandri merged 19 commits into

mainfrom

chore/infrastructure

Oct 10, 2026

Merged

chore: update the build infrastructure and adopt the latest shared agent instructions#22
xperiandri merged 19 commits into
mainfrom
chore/infrastructure

Commits on Oct 10, 2026
- chore: migrate to .NET SDK `10.0.401`
  
  xperiandri
  and
  claude
  committed
  744b8be
- chore: align script line endings between .gitattributes and .editorconfig
  
  xperiandri
  and
  claude
  committed
  d0e89dc
- chore(deps): update Fantomas to `8.0.5`
  
  xperiandri
  and
  claude
  committed
  b6a4273
- style: reformat with Fantomas `8.0.5`
  
  xperiandri
  and
  claude
  committed
  0f8c45b
- fix(build): restore tools before restore and format each project once
  
  xperiandri
  and
  claude
  committed
  0e1b6c0
- fix(build): collect coverage with the MSTest runner instead of the AltCover leftovers
  
  xperiandri
  and
  claude
  committed
  e719a9b
- chore: add src/Directory.Build.props and group the solution into folders
  
  xperiandri
  and
  claude
  committed
  68ef0c6
- fix(build): generate the assembly info when the latest changelog entry has no date
  
  xperiandri
  and
  claude
  committed
  070238e
- fix(package): describe the package correctly and stamp the assembly version
  
  xperiandri
  and
  claude
  committed
  6c5c7fd
- chore(ai): add the F# MCP server
  
  xperiandri
  and
  claude
  committed
  b3c15a4
- chore(claude): configure the repository for Claude Code
  
  xperiandri
  and
  claude
  committed
  b03c497
- chore(ai): adopt the latest shared Copilot instructions
  
  xperiandri
  and
  claude
  committed
  f8e65c2
- chore(ai): add path-scoped instructions for test categories
  
  xperiandri
  and
  claude
  committed
  9218563
- ci: update the GitHub Pages actions
  
  xperiandri
  and
  claude
  committed
  42a8ef3
- chore(devcontainer): add the starship prompt
  
  xperiandri
  and
  claude
  committed
  56bb169
- fix(ai): indent `update_issue.target` of the repository assistant like its sibling keys
  
  xperiandri
  and
  claude
  committed
  a308fde
- docs: correct the stale statements in the README and the PR template
  
  xperiandri
  and
  claude
  committed
  59d5951
- chore(deps): update FAKE to `6.1.5`
  
  xperiandri
  and
  claude
  committed
  4a1cfdd
- fix(build): restore the tools once per build instead of once per project
  
  xperiandri
  and
  claude
  committed
  40f35f7

Commits

Commits on Oct 10, 2026