commit: fc9b34cc7431307c952284767b102f5b570dcbdb

[log]
author: Sebastian Ullrich <sebasti@nullri.ch>

Tue Aug 13 19:53:07 2024 +0200
committer: Sebastian Ullrich <sebasti@nullri.ch>

Tue Aug 13 19:53:56 2024 +0200
tree: 4fa30371e2a1b267fca0b686ccd41024e70c6a11
parent: 7283e2c14e951af219c91ef19ad1515935d27f8c [diff]

fix: `mark_persistent` is not thread-safe, panic

src/runtime/object.cpp[diff]

1 file changed

tree: 4fa30371e2a1b267fca0b686ccd41024e70c6a11

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).