projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2faf908) | patch
[GitHub] Add link to fuzzing guidelines in issues (#4695)
authorAndres Noetzli <andres.noetzli@gmail.com>
Mon, 6 Jul 2020 23:06:55 +0000 (16:06 -0700)
committerGitHub <noreply@github.com>
Mon, 6 Jul 2020 23:06:55 +0000 (16:06 -0700)
commitae0bfbdacfec8b2d21b10cbc4955305f49a62a54
treed3f14692eb174e50aff481e126ee363ab7e4c101tree
parent2faf908ed88c798a25b4881e3ce3026dc139bca3commit | diff
[GitHub] Add link to fuzzing guidelines in issues (#4695)
.github/ISSUE_TEMPLATE/config.yml [new file with mode: 0644] blob