Revision 3fd78aadb73498f1955087463478f52deb20d871 authored by st-- on 14 April 2020, 16:57:44 UTC, committed by GitHub on 14 April 2020, 16:57:44 UTC
The "other issue" template wasn't being pulled in by GitHub's "new issue chooser"(https://github.com/GPflow/GPflow/issues/new/choose) because of a parsing failure due to the use of quotes in the name: field, which is fixed by this PR (changed version obtained by putting the text with quotes into GitHub's "create an issue template" interface). Includes a few minor copyedits.
1 parent 5a5603d
codecov.yml
coverage:
status:
project:
default:
target: 95%
threshold: 1%
patch:
default:
target: 97%
threshold: 1%
ignore:
- "*.py"
- "tests/*.py"
- "gpflow/ci_utils.py"
- "gpflow/versions.py"
- "doc/source/notebooks/*"
Computing file changes ...