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

chore: Issue template: Suggest #eval Lean.versionString (#2884)

Browse source 
as this works also on https://live.lean-lang.org/ or for people
not familiar with the command line.
This commit is contained in:
Joachim Breitner 2023-11-16 18:40:55 +01:00 • committed by GitHub
parent b3e9bb4997
commit ad77e7e762
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 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

@ -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