commit: b9247cff8cbbf478e4c3994e2445876815719c28

[log]
author: Henrik Böving <hargonix@gmail.com>

Fri Jan 03 22:11:04 2025 +0100
committer: Henrik Böving <hargonix@gmail.com>

Fri Jan 03 22:11:04 2025 +0100
tree: 88d2d947a0017f9fe5808df7b1e2400afadcaaca
parent: 460f18efc21af871e7371b02c04795b7bbaa7284 [diff]

chore: account for even more of this *** jitter

tests/lean/run/async_sleep.lean[diff]

1 file changed

tree: 88d2d947a0017f9fe5808df7b1e2400afadcaaca

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 (documentation source: doc/make/index.md).