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 links in Libraries doc #995

Merged
merged 2 commits into from
Aug 23, 2018
Merged

Fix links in Libraries doc #995

merged 2 commits into from
Aug 23, 2018

Conversation

pakoito
Copy link
Member

@pakoito pakoito commented Aug 23, 2018

My bad

@pakoito pakoito requested review from raulraja, JorgeCastilloPrz, nomisRev and a team August 23, 2018 05:44
@codecov
Copy link

codecov bot commented Aug 23, 2018

Codecov Report

Merging #995 into master will increase coverage by 0.01%.
The diff coverage is n/a.

Impacted file tree graph

@@             Coverage Diff              @@
##             master     #995      +/-   ##
============================================
+ Coverage     46.94%   46.95%   +0.01%     
  Complexity      688      688              
============================================
  Files           318      318              
  Lines          8073     8073              
  Branches        848      848              
============================================
+ Hits           3790     3791       +1     
  Misses         3940     3940              
+ Partials        343      342       -1
Impacted Files Coverage Δ Complexity Δ
...ics/src/main/kotlin/arrow/optics/instances/mapk.kt 90.9% <0%> (+4.54%) 0% <0%> (ø) ⬇️

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 e944d16...484668c. Read the comment docs.

@pakoito pakoito merged commit 22f63f5 into master Aug 23, 2018
@pakoito pakoito deleted the pakoito-fixlibdoclinks branch August 23, 2018 21:45
abergfeld pushed a commit to abergfeld/arrow that referenced this pull request Aug 24, 2018
@calvellido calvellido added docs and removed docs labels Oct 17, 2018
@raulraja raulraja mentioned this pull request Nov 2, 2018
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants