chore: add bug issue template

leanprover · Sep 1, 2024 · 0a25292 · 0a25292
1 parent 8c5574b
commit 0a25292
Showing 1 changed file with 23 additions and 0 deletions.
diff --git a/.github/ISSUE_TEMPLATE/bug_report.md b/.github/ISSUE_TEMPLATE/bug_report.md
@@ -0,0 +1,23 @@
+---
+name: Bug report
+about: Create a report to help us improve
+title: ''
+labels: bug
+assignees: ''
+
+---
+
+**Describe the bug**
+Describe the unexpected behavior
+
+**Expected behavior**
+Describe the expected behavior
+
+**Link to workflow where bug was encountered:** [link]
+
+**Details**
+ - `lean-action` version: [e.g. v1]
+ - GitHub runner: [e.g. `ubuntu-latest`, `macos-latest`, `windows-latest`]
+
+**Additional context**
+Add any other context about the problem here.