From e9c302c17ec9f059d6ac6f528b8dac8712625088 Mon Sep 17 00:00:00 2001 From: Joachim Breitner Date: Wed, 8 May 2024 15:21:17 +0200 Subject: [PATCH] chore: bug template: point to live.lean-lang.org (#4109) https://live.lean-lang.org/#project=lean-nightly now allows users to play around with the latest lean nightly, and it seems prudent to ask them to test bug reports, if possible, there, and not just with whatever release they use. Also reformatted the descriptions to look well in a text area. Users will not see this as rendered markdown, but as plain text. --------- Co-authored-by: Sebastian Ullrich --- .github/ISSUE_TEMPLATE/bug_report.md | 16 +++++++++++----- 1 file changed, 11 insertions(+), 5 deletions(-) diff --git a/.github/ISSUE_TEMPLATE/bug_report.md b/.github/ISSUE_TEMPLATE/bug_report.md index 2c66085703..8bb4dc9c19 100644 --- a/.github/ISSUE_TEMPLATE/bug_report.md +++ b/.github/ISSUE_TEMPLATE/bug_report.md @@ -9,9 +9,15 @@ assignees: '' ### Prerequisites -* [ ] Put an X between the brackets on this line if you have done all of the following: - * Check that your issue is not already [filed](https://github.com/leanprover/lean4/issues). - * Reduce the issue to a minimal, self-contained, reproducible test case. Avoid dependencies to Mathlib or Batteries. +Please put an X between the brackets as you perform the following steps: + +* [ ] Check that your issue is not already filed: + https://github.com/leanprover/lean4/issues +* [ ] Reduce the issue to a minimal, self-contained, reproducible test case. + Avoid dependencies to Mathlib or Batteries. +* [ ] Test your test case against the latest nightly release, for example on + https://live.lean-lang.org/#project=lean-nightly + (You can also use the settings there to switch to “Lean nightly”) ### Description @@ -33,8 +39,8 @@ assignees: '' ### Versions -[Output of `#eval Lean.versionString` or of `lean --version` in the folder that the issue occured in] -[OS version] +[Output of `#eval Lean.versionString`] +[OS version, if not using live.lean-lang.org.] ### Additional Information