Skip to content

Commit

Permalink
chore: Issue template: Suggest #eval Lean.versionString (leanprover…
Browse files Browse the repository at this point in the history 
…#2884)

as this works also on https://live.lean-lang.org/ or for people
not familiar with the command line.
  • Loading branch information
@nomeata @arthur-adjedj
nomeata authored and arthur-adjedj committed Nov 20, 2023
1 parent e639f0b commit d6d954d
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion .github/ISSUE_TEMPLATE/bug_report.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -33,7 +33,7 @@ assignees: ''

### Versions

[Output of `lean --version` in the folder that the issue occured in]
[Output of `#eval Lean.versionString` or of `lean --version` in the folder that the issue occured in]
[OS version]

### Additional Information
Expand Down

0 comments on commit d6d954d

Please sign in to comment.