summaryrefslogtreecommitdiff
path: root/tests/examplefiles/lean/test.lean.output
Commit message (Collapse)AuthorAgeFilesLines
* lean: correctly parse expressions nested within attributes (#1817)Eric Wieser2023-04-201-0/+25
|
* Also add auto-updatable output-based tests to examplefiles (#1689)Oleh Prypin2021-01-201-0/+3607
Co-authored-by: Georg Brandl <georg@python.org>