diff options
author | Andres Noetzli <andres.noetzli@gmail.com> | 2020-07-06 16:06:55 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-07-06 16:06:55 -0700 |
commit | ae0bfbdacfec8b2d21b10cbc4955305f49a62a54 (patch) | |
tree | d3f14692eb174e50aff481e126ee363ab7e4c101 /.github/ISSUE_TEMPLATE | |
parent | 2faf908ed88c798a25b4881e3ce3026dc139bca3 (diff) |
[GitHub] Add link to fuzzing guidelines in issues (#4695)
Diffstat (limited to '.github/ISSUE_TEMPLATE')
-rw-r--r-- | .github/ISSUE_TEMPLATE/config.yml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/.github/ISSUE_TEMPLATE/config.yml b/.github/ISSUE_TEMPLATE/config.yml new file mode 100644 index 000000000..792a76d71 --- /dev/null +++ b/.github/ISSUE_TEMPLATE/config.yml @@ -0,0 +1,4 @@ +contact_links: + - name: Bugs found with fuzzers + url: https://github.com/CVC4/CVC4/wiki/Fuzzing-CVC4 + about: Please read the guidelines before submitting bugs found with a fuzzer |