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.

Sign up for GitHub

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

Jump to bottom

Fix lint checks and type checks on CI #16

Merged
merged 6 commits into from
Dec 9, 2020
Merged

Fix lint checks and type checks on CI #16

merged 6 commits into from
Dec 9, 2020

Conversation

manuphatak
Copy link
Owner

No description provided.

@manuphatak manuphatak self-assigned this Dec 9, 2020
@codecov
Copy link

codecov bot commented Dec 9, 2020

Codecov Report

Merging #16 (2098682) into main (4dbdbd6) will not change coverage.
The diff coverage is 100.00%.

Impacted file tree graph

@@           Coverage Diff           @@
##             main      #16   +/-   ##
=======================================
  Coverage   95.89%   95.89%           
=======================================
  Files          12       12           
  Lines         146      146           
  Branches        9        9           
=======================================
  Hits          140      140           
  Misses          3        3           
  Partials        3        3
Impacted Files Coverage Δ
src/Day05/Solution.hs 91.66% <100.00%> (ø)

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 4dbdbd6...2098682. Read the comment docs.

@manuphatak manuphatak merged commit 24ab5a9 into main Dec 9, 2020
@manuphatak manuphatak deleted the day_09_repo_improvements branch December 9, 2020 19:07
manuphatak added a commit that referenced this pull request Dec 9, 2020
@manuphatak
Merge remote-tracking branch 'origin/main' into day_09
c664aa8 
* origin/main:
  Fix lint checks and type checks on CI (#16)
manuphatak added a commit that referenced this pull request Dec 10, 2020
@manuphatak
Merge remote-tracking branch 'origin/main' into day_07
726cac1 
* origin/main:
  Solve Day 09 (#15)
  Fix lint checks and type checks on CI (#16)
  Solve Day 08 (#13)
@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
Reviewers
No reviews
Assignees

@manuphatak manuphatak

Labels
repo Cleanup & improve the repo setup
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@manuphatak