Skip to content

Drive the docs build from a Fun.Build script - #1018

Merged
nojaf merged 1 commit into
fsharp:mainfrom
nojaf:fix-docs
Sep 10, 2026
Merged

Drive the docs build from a Fun.Build script#1018
nojaf merged 1 commit into
fsharp:mainfrom
nojaf:fix-docs

Conversation

@nojaf

@nojaf nojaf commented Sep 10, 2026

Copy link
Copy Markdown
Collaborator

CI has failed daily since 16 April 2026, when dotnet/fsharp renamed its solution files to .slnx and the workflows kept building FSharp.Compiler.Service.sln.

Replace the hand-written workflow steps and the stale README instructions with build.fsx. Its default pipeline clones dotnet/fsharp, builds FSharp.Compiler.Service.slnx through upstream's eng/common/dotnet.sh so the SDK pinned by fsharp/global.json is installed on demand, restores this repo and runs fsdocs build. A Watch pipeline serves the docs with live reload and forwards extra arguments to fsdocs watch.

Both workflows now only need a .NET 10 SDK and run the script. The README describes the pipelines instead of a manual sequence, and its contributing links point at the main branch and src/Compiler.

Bump fsdocs-tool to 23.0.0-alpha.1.

CI has failed daily since 16 April 2026, when dotnet/fsharp renamed its
solution files to .slnx and the workflows kept building
FSharp.Compiler.Service.sln.

Replace the hand-written workflow steps and the stale README instructions
with build.fsx. Its default pipeline clones dotnet/fsharp, builds
FSharp.Compiler.Service.slnx through upstream's eng/common/dotnet.sh so the
SDK pinned by fsharp/global.json is installed on demand, restores this repo
and runs fsdocs build. A Watch pipeline serves the docs with live reload
and forwards extra arguments to fsdocs watch.

Both workflows now only need a .NET 10 SDK and run the script. The README
describes the pipelines instead of a manual sequence, and its contributing
links point at the main branch and src/Compiler.

Bump fsdocs-tool to 23.0.0-alpha.1.
@nojaf
nojaf merged commit 9a968e8 into fsharp:main Sep 10, 2026
1 check passed
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.

1 participant