Skip to content
Permalink
master
Switch branches/tags

Name already in use

A tag already exists with the provided branch name. Many Git commands accept both tag and branch names, so creating this branch may cause unexpected behavior. Are you sure you want to create this branch?
Go to file
 
 
Cannot retrieve contributors at this time
coverage:
precision: 2
round: down
range: 50...100
status:
# Learn more at http://docs.codecov.io/docs/codecov-yaml
project: true
project: # measuring the overall project coverage
default: # context, you can create multiple ones with custom titles
enabled: yes # must be yes|true to enable this status
target: auto # specify the target coverage for each commit status
# option: "auto" (must increase from parent commit or pull request base)
# option: "X%" a static target percentage to hit
threshold: 1 # allowed to drop X% and still result in a "success" commit status
patch: # pull requests only: this commit status will measure the
# entire pull requests Coverage Diff. Checking if the lines
# adjusted are covered at least X%.
default:
enabled: yes # must be yes|true to enable this status
target: 50% # specify the target "X%" coverage to hit
ignore:
- "tests"
- "fplll/io/json.hpp"