Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Remove dup of index-state, no longer needed with latest haskell.nix #5026

Merged
merged 2 commits into from
Apr 11, 2023

Conversation

jbgi
Copy link
Contributor

@jbgi jbgi commented Mar 28, 2023

as of input-output-hk/haskell.nix#1903 haskell.nix (the nix part) does not parse the index-state so the duplication which was done for haskell.nix is no longer needed.

There is also a change to use hls from github (hence with access to the cabal.project) instead of hackage (which was breaking regularly), required due to input-output-hk/haskell.nix#1909

@jbgi jbgi force-pushed the jbgi/no-dup-index-state branch 3 times, most recently from c79a0ce to 7534b1d Compare March 30, 2023 14:49
@newhoggy
Copy link
Contributor

newhoggy commented Apr 2, 2023

Conflicts.

@jbgi jbgi force-pushed the jbgi/no-dup-index-state branch 2 times, most recently from 0a7c95c to fb8cb46 Compare April 4, 2023 06:52
@jbgi jbgi force-pushed the jbgi/no-dup-index-state branch 2 times, most recently from 0211bbb to dc11e44 Compare April 5, 2023 09:19
Copy link
Contributor

@deepfire deepfire left a comment

Choose a reason for hiding this comment

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

Thank you @jbgi !

@jbgi jbgi force-pushed the jbgi/no-dup-index-state branch from dc11e44 to d35c4e6 Compare April 6, 2023 09:14
@jbgi jbgi force-pushed the jbgi/no-dup-index-state branch from d35c4e6 to e97a004 Compare April 6, 2023 12:13
@jbgi jbgi enabled auto-merge April 6, 2023 21:00
@jbgi jbgi added this pull request to the merge queue Apr 11, 2023
Merged via the queue into master with commit e60ac65 Apr 11, 2023
@iohk-bors iohk-bors bot deleted the jbgi/no-dup-index-state branch April 11, 2023 10:39
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.

3 participants