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

README.md: fix Travis/Codecov/Coveralls URL #70

Merged
merged 1 commit into from
Nov 26, 2018

Conversation

fingolfin
Copy link
Member

@fingolfin fingolfin commented Nov 26, 2018

I also enabled coveralls for this repo, fixed the codecov integration, and removed the outdated travis.org "GitHub Service" integration (leaving the travis.com "GitHub Apps" integration in place -- now Travis won't have to build every PR and commit twice ;-).

@codecov
Copy link

codecov bot commented Nov 26, 2018

Codecov Report

Merging #70 into master will not change coverage.
The diff coverage is n/a.

Impacted file tree graph

@@           Coverage Diff           @@
##           master      #70   +/-   ##
=======================================
  Coverage   46.33%   46.33%           
=======================================
  Files          30       30           
  Lines        2398     2398           
=======================================
  Hits         1111     1111           
  Misses       1287     1287

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 f3455e8...4de9307. Read the comment docs.

@wbhart wbhart merged commit 6619951 into oscar-system:master Nov 26, 2018
@fingolfin fingolfin deleted the mh/README branch November 27, 2018 00:00
fingolfin pushed a commit to fingolfin/Singular.jl that referenced this pull request Jun 6, 2023
README.md: fix Travis/Codecov/Coveralls URL
fingolfin pushed a commit to fingolfin/Singular.jl that referenced this pull request Jun 6, 2023
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.

2 participants