Skip to content

Comments

Remove Nix integration#11191

Merged
mergify[bot] merged 1 commit intohaskell:masterfrom
zlonast:remove-nix-integration
Sep 2, 2025
Merged

Remove Nix integration#11191
mergify[bot] merged 1 commit intohaskell:masterfrom
zlonast:remove-nix-integration

Conversation

@zlonast
Copy link
Collaborator

@zlonast zlonast commented Aug 26, 2025

This PR modifies the cabal behavior. It's the follow-up to #9205, and completely removes the Nix integration feature.

Include the following checklist in your PR:

@zlonast zlonast added this to the Considered for 3.18 milestone Aug 26, 2025
@ulysses4ever
Copy link
Collaborator

If this PR modifiers the cabal behavior (which it is) why does the version of checklist come from the non-modifying PRs? It's missing some crucial points like the changelog.

@TeofilC
Copy link
Collaborator

TeofilC commented Aug 27, 2025

Thanks for tackling this!

@zlonast zlonast added the merge me Tell Mergify Bot to merge label Aug 29, 2025
@mergify mergify bot added the ready and waiting Mergify is waiting out the cooldown period label Aug 29, 2025
@zlonast zlonast force-pushed the remove-nix-integration branch from 09f7b76 to c1a3749 Compare August 30, 2025 11:11
It's the follow-up to haskell#9205
and completely removes the Nix integration feature
@zlonast zlonast force-pushed the remove-nix-integration branch from c1a3749 to aed7c2a Compare August 31, 2025 20:39
@mergify mergify bot added the merge delay passed Applied (usually by Mergify) when PR approved and received no updates for 2 days label Sep 2, 2025
mergify bot added a commit that referenced this pull request Sep 2, 2025
@mergify mergify bot merged commit b5761da into haskell:master Sep 2, 2025
96 checks passed
@zlonast zlonast deleted the remove-nix-integration branch September 3, 2025 11:24
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

attention: needs-review merge delay passed Applied (usually by Mergify) when PR approved and received no updates for 2 days merge me Tell Mergify Bot to merge ready and waiting Mergify is waiting out the cooldown period

Projects

None yet

Development

Successfully merging this pull request may close these issues.

5 participants