Skip to content

Document project build only fields - #12174

Open
philderbeast wants to merge 1 commit into
haskell:masterfrom
cabalism:doc/project-buildonly
Open

Document project build only fields#12174
philderbeast wants to merge 1 commit into
haskell:masterfrom
cabalism:doc/project-buildonly

Conversation

@philderbeast

@philderbeast philderbeast commented Jul 28, 2026 •
edited
Loading

Copy link
Copy Markdown
Collaborator

Fixes #12173.

I'll squash commits before applying the merge label if this pull request is approved.

  • Patches conform to the coding conventions.
  • Is this a PR that fixes CI? If so, it will need to be backported to older cabal release branches (ask maintainers for directions).

@philderbeast
philderbeast force-pushed the doc/project-buildonly branch from d4736c4 to 62a24c0 Compare July 28, 2026 19:05
@philderbeast
philderbeast force-pushed the doc/project-buildonly branch from 47e50b4 to 6cc01c6 Compare August 1, 2026 11:22
Mikolaj
Mikolaj approved these changes Aug 6, 2026
View reviewed changes

@Mikolaj Mikolaj left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@philderbeast
philderbeast force-pushed the doc/project-buildonly branch 2 times, most recently from 9ab184c to aea48fd Compare August 11, 2026 14:01
@philderbeast
Add docs for project buildonly fields
3330167 
- Remove redundant "configuration" from section titles
- JSON in uppercase
@philderbeast
philderbeast force-pushed the doc/project-buildonly branch from aea48fd to 3330167 Compare August 11, 2026 14:06
@philderbeast philderbeast added merge me Tell Mergify Bot to merge and removed attention: needs-review labels Aug 11, 2026
@mergify mergify Bot added the ready and waiting Mergify is waiting out the cooldown period label Aug 11, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@andreabedini andreabedini andreabedini approved these changes
@Mikolaj Mikolaj Mikolaj approved these changes

Assignees

No one assigned

Labels

merge me Tell Mergify Bot to merge ready and waiting Mergify is waiting out the cooldown period

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

Project build only fields not documented

3 participants

@philderbeast @andreabedini @Mikolaj