commit: bec538cc579b248aa93d67491bcbc1efa061063c

[log]
author: Cameron Zwarich <cameron@lean-fro.org>

Wed Jun 18 14:18:58 2025 -0700
committer: GitHub <noreply@github.com>

Wed Jun 18 21:18:58 2025 +0000
tree: eec82303d7f0e0f10daeaf43c1548b6c252c7b0d
parent: e74d3a2f1ccb186f79aed5e4ac83f9a3bf4c4181 [diff]

chore: delete disabled new-compiler tests that are no longer very useful (#8873)

tests/lean/new-compiler/CompilerConstantFold.lean[Deleted - diff]
tests/lean/new-compiler/CompilerConstantFold.lean.expected.out[Deleted - diff]
tests/lean/new-compiler/unhygienicCode.lean.expected.out[Deleted - diff]

3 files changed

tree: eec82303d7f0e0f10daeaf43c1548b6c252c7b0d

README.md

This is the repository for Lean 4.

About

Installation

See Setting Up Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.