https://github.com/GPflow/GPflow
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
Raw File
Tip revision: 3fd78aadb73498f1955087463478f52deb20d871 authored by st-- on 14 April 2020, 16:57:44 UTC
fix other-issue.md issue template (#1432)
Tip revision: 3fd78aa
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/*"
back to top