Skip to content

Locate .ormolu file independently of .cabal files#1023

Merged
mrkkrp merged 1 commit intomasterfrom
mkarpov@issue-1019
May 17, 2023
Merged

Locate .ormolu file independently of .cabal files#1023
mrkkrp merged 1 commit intomasterfrom
mkarpov@issue-1019

Conversation

@mrkkrp
Copy link
Copy Markdown
Member

@mrkkrp mrkkrp commented May 15, 2023

Close #1019.

@mrkkrp mrkkrp force-pushed the mkarpov@issue-1019 branch from 48dcb5b to 3582809 Compare May 17, 2023 18:46
@mrkkrp mrkkrp marked this pull request as ready for review May 17, 2023 18:46
@mrkkrp mrkkrp force-pushed the mkarpov@issue-1019 branch from 3582809 to 671c47d Compare May 17, 2023 18:53
@mrkkrp mrkkrp requested a review from amesgen May 17, 2023 18:54
@github-actions
Copy link
Copy Markdown

@github-actions github-actions bot temporarily deployed to pull request May 17, 2023 19:16 Inactive
@mrkkrp mrkkrp merged commit 83509eb into master May 17, 2023
@mrkkrp mrkkrp deleted the mkarpov@issue-1019 branch May 17, 2023 19:22
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.

Lookup of .ormolu files is tied to .cabal files, resulting in duplication

2 participants