summaryrefslogtreecommitdiff
path: root/tests/examplefiles/lean/test.lean.output
Commit message (Expand)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