Skip to content

Commit 4bd58b5

Browse files
authored
Update issue templates (rust-lang#1887)
I created a new template using the GitHub interface to see if that makes the template show up. I used a different name since the title reflects on the name of the file.
1 parent 5f83f2b commit 4bd58b5

File tree

1 file changed

+13
-0
lines changed

1 file changed

+13
-0
lines changed
Lines changed: 13 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,13 @@
1+
---
2+
name: Dev Improvement
3+
about: 'Internal issues that track improvements that don''t affect Kani users. E.g.:
4+
CI, refactoring.'
5+
title: ''
6+
labels: "[C] Internal"
7+
assignees: ''
8+
9+
---
10+
11+
**Proposed change:**
12+
13+
**Motivation:**

0 commit comments

Comments
 (0)