Skip to content
No description, website, or topics provided.
Branch: master
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
README.md

README.md

Extract from https://github.com/IainNZ/Coverage.jl

Using Codecov

Codecov.io is another test-coverage tracking tool that integrates with your continuous integration servers (e.g. TravisCI) or with HTTP POSTs from your very own computer at home.

Using Coverage.jl with Codecov.io?

  1. Enable Codecov.io for your repository. If it is public on GitHub and you are using using TravisCI, this is all you need to do. You can sign into Codecov using your Github identity. You will be served a REPO_TOKEN. You'll need this if you're not using a CI solution.
  2. You must be using Julia 0.3 or higher, which added the --code-coverage command line argument.
  3. Use the command line option when you run your tests
  • Either with something like julia --code-coverage test/runtests.jl, or
  • with something like julia -e 'Pkg.test("MyPkg", coverage=true)'
  1. Add the following to the end of your .travis.yml file. This line downloads this package, collects the per-file coverage data, then bundles it up and submits to Codecov. Coverage.jl assumes that the working directory is the package directory, so it changes to that first (so don't forget to replace MyPkg with your package's name!
after_success:
- julia -e 'cd(Pkg.dir("MyPkg")); Pkg.add("Coverage"); using Coverage; Codecov.submit(Codecov.process_folder())'

If you're running coverage at home and want to upload results to Codecov, make a bash script like the following:

#!/bin/bash
REPO_TOKEN=$YOUR_TOKEN_HERE julia -e 'cd(Pkg.dir("MyPkg")); using Coverage;  Codecov.submit_token(Codecov.process_folder())'

We are happy to help if you have any questions. Please contact email our Support at support@codecov.io

You can’t perform that action at this time.
You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session.