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

Fix haskell language server tooling #14

Merged
merged 5 commits into from
Dec 8, 2020
Merged

Conversation

manuphatak
Copy link
Owner

No description provided.

@codecov
Copy link

codecov bot commented Dec 8, 2020

Codecov Report

Merging #14 (38efd39) into main (d1cbbfe) will not change coverage.
The diff coverage is n/a.

Impacted file tree graph

@@           Coverage Diff           @@
##             main      #14   +/-   ##
=======================================
  Coverage   98.00%   98.00%           
=======================================
  Files          10       10           
  Lines         100      100           
  Branches        5        5           
=======================================
  Hits           98       98           
  Partials        2        2           

Continue to review full report at Codecov.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update d1cbbfe...38efd39. Read the comment docs.

@manuphatak manuphatak self-assigned this Dec 8, 2020
@manuphatak manuphatak merged commit 44586d8 into main Dec 8, 2020
@manuphatak manuphatak deleted the fix_haskell_lang_server branch December 8, 2020 20:23
manuphatak added a commit that referenced this pull request Dec 8, 2020
* origin/main:
  Fix haskell language server tooling (#14)
manuphatak added a commit that referenced this pull request Dec 8, 2020
* origin/main:
  Fix haskell language server tooling (#14)
@manuphatak manuphatak added the repo Cleanup & improve the repo setup label Dec 12, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
repo Cleanup & improve the repo setup
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

1 participant