Merge branch 'master' into post-1.6.0.0
Showing
- plugins/hls-tactics-plugin/src/Wingman/KnownStrategies/QuickCheck.hs 3 additions, 2 deletions...-tactics-plugin/src/Wingman/KnownStrategies/QuickCheck.hs
- plugins/hls-tactics-plugin/test/CodeAction/AutoSpec.hs 1 addition, 0 deletionsplugins/hls-tactics-plugin/test/CodeAction/AutoSpec.hs
- plugins/hls-tactics-plugin/test/golden/GoldenArbitrarySingleConstructor.expected.hs 7 additions, 0 deletions.../test/golden/GoldenArbitrarySingleConstructor.expected.hs
- plugins/hls-tactics-plugin/test/golden/GoldenArbitrarySingleConstructor.hs 6 additions, 0 deletions...cs-plugin/test/golden/GoldenArbitrarySingleConstructor.hs
Loading
Please register or sign in to comment