Skip to content

Build cabal before help output - #12376

Merged
mergify[bot] merged 1 commit into
haskell:masterfrom
cabalism:fix/build-before-cmd-help
Sep 25, 2026
Merged

mergify[bot] merged 1 commit into
haskell:masterfrom
cabalism:fix/build-before-cmd-help

Conversation

@philderbeast

@philderbeast philderbeast commented Sep 23, 2026 •

Copy link
Copy Markdown
Collaborator

Fixes #12375. I cherry picked the fix from #12359 by @zlonast and tested it on #11778.


  • 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).

Comment thread .github/workflows/cmd-help.yml Outdated
Comment thread doc/Makefile
@philderbeast

Copy link
Copy Markdown
Collaborator Author

Bumping to high priority as #12300 is failing CI without this fix.

- Don't monitor cabal-install-internal yet

Co-Authored-By: Ilya Baryshnikov <grintypes@gmail.com>
@philderbeast
philderbeast force-pushed the fix/build-before-cmd-help branch from b666b1c to 047e0d0 Compare September 25, 2026 12:31

@ulysses4ever ulysses4ever left a comment

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

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

TIL | in make...

@Mikolaj

Mikolaj commented Sep 25, 2026

Copy link
Copy Markdown
Member

This doesn't affect 3.18, right?

@philderbeast

Copy link
Copy Markdown
Collaborator Author

This doesn't affect 3.18, right?

The 3.18 branch doesn't have the .github/workflows/cmd-help.yml workflow so it is unaffected and doesn't need a backport.

@philderbeast philderbeast added merge me Tell Mergify Bot to merge and removed attention: needs-review labels Sep 25, 2026
@mergify mergify Bot added merge delay passed Applied (usually by Mergify) when PR approved and received no updates for 2 days queued labels Sep 25, 2026
@mergify

mergify Bot commented Sep 25, 2026 •

Copy link
Copy Markdown
Contributor

Merge Queue Status

  • ✅ Entered queue — 2026-09-25 17:24 UTC · Rule: default · triggered by rule Put pull requests in the rebase+merge queue
  • ✅ Checks skipped · PR is already up-to-date
  • ✅ Merged — 2026-09-25 17:35 UTC · at 773c039647e98146e4c75a318123fe079abb9c06 · merge

This pull request spent 10 minutes 40 seconds in the queue, including 1 second running CI.

Required conditions to merge
  • #review-threads-unresolved = 0 [🛡 GitHub branch protection]
  • github-review-approved [🛡 GitHub branch protection]
  • any of [🛡 GitHub branch protection]:
    • check-success = Doctest Cabal
    • check-neutral = Doctest Cabal
    • check-skipped = Doctest Cabal
  • any of [🛡 GitHub branch protection]:
    • check-success = Meta checks
    • check-neutral = Meta checks
    • check-skipped = Meta checks
  • any of [🛡 GitHub branch protection]:
    • check-success = docs/readthedocs.org:cabal
    • check-neutral = docs/readthedocs.org:cabal
    • check-skipped = docs/readthedocs.org:cabal
  • any of [🛡 GitHub branch protection]:
    • check-success = Validate post job
    • check-neutral = Validate post job
    • check-skipped = Validate post job
  • any of [🛡 GitHub branch protection]:
    • check-success = fourmolu
    • check-neutral = fourmolu
    • check-skipped = fourmolu
  • any of [🛡 GitHub branch protection]:
    • check-success = hlint
    • check-neutral = hlint
    • check-skipped = hlint
  • any of [🛡 GitHub branch protection]:
    • check-success = Bootstrap post job
    • check-neutral = Bootstrap post job
    • check-skipped = Bootstrap post job
  • any of [🛡 GitHub branch protection]:
    • check-success = whitespace
    • check-neutral = whitespace
    • check-skipped = whitespace
  • any of [🛡 GitHub branch protection]:
    • check-success = Check sdist post job
    • check-neutral = Check sdist post job
    • check-skipped = Check sdist post job
  • any of [🛡 GitHub branch protection]:
    • check-success = Changelogs
    • check-neutral = Changelogs
    • check-skipped = Changelogs

@mergify
mergify Bot merged commit 773c039 into haskell:master Sep 25, 2026
68 checks passed
@mergify mergify Bot removed the queued label Sep 25, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

merge delay passed Applied (usually by Mergify) when PR approved and received no updates for 2 days merge me Tell Mergify Bot to merge priority: high 🔥

Projects

None yet

Development

Successfully merging this pull request may close these issues.

cabal build output bleeds into the help diff output

4 participants