max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

chore: remove 'reproduces how often' field from bug template

Browse source
This commit is contained in:
mhuisi 2023-09-08 13:30:20 +02:00 • committed by Marc Huisinga
parent debd71ec63
commit 74b92d9cde
1 changed files with 0 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
.github/ISSUE_TEMPLATE/bug_report.md vendored
View file

@ -31,8 +31,6 @@ assignees: ''
**Actual behavior:** [Clear and concise description of what actually happens]
**Reproduces how often:** [Percentage of times the issue reproduces]
### Versions
[Output of `lean --version` in the folder that the issue occured in]