diff options
| author | Julien Coolen | 2020-07-20 11:42:28 +0200 |
|---|---|---|
| committer | Julien Coolen | 2020-08-04 17:20:53 +0200 |
| commit | 046cf2c0c8bb2b5186066f927b98c387709e9acc (patch) | |
| tree | cf69070b6f4740db4f1a58ef1daaf0c17127d109 /.github | |
| parent | 2793c3cdfd096355270ea02123a7f8fbf64c8076 (diff) | |
Mention coqbot minimize feature in issue template.
This allows coqbot to reply back with a minimized
version of some code reproducing a bug, using the
coq-bug-minimizer program from Jason Gross.
See https://github.com/JasonGross/coq-tools#coq-bug-minimizer.
Diffstat (limited to '.github')
| -rw-r--r-- | .github/ISSUE_TEMPLATE.md | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/.github/ISSUE_TEMPLATE.md b/.github/ISSUE_TEMPLATE.md index aec6cd0a21..c564105c9c 100644 --- a/.github/ISSUE_TEMPLATE.md +++ b/.github/ISSUE_TEMPLATE.md @@ -3,7 +3,9 @@ #### Description of the problem <!-- If you can, it's helpful to provide self-contained example of some code -that reproduces the bug. If not, a link to a larger example is also helpful. --> +that reproduces the bug. If not, a link to a larger example is also helpful. +You can generate a shorter version of your program by following these +instructions: https://github.com/coq/coq/wiki/Coqbot-minimize-feature. --> #### Coq Version |