commit: 24d51b90cc4adbc68386671bba4587d6e47188d6

[log]
author: Mac Malone <tydeu@hatpress.net>

Fri Jun 21 21:24:23 2024 -0400
committer: GitHub <noreply@github.com>

Sat Jun 22 01:24:23 2024 +0000
tree: e209a85756f3ce0bb7e7be7a27f1386046f43528
parent: 0d529e18a6fc695c50eb194545d4a6d71f00b7dd [diff]

fix: lake: remove module dynlib from platform-independent trace (#4478)

Fixes a bug where Lake incorrectly included the module dynlib in a
platform-independent trace. It was incorrectly excluded only external
native libraries from the trace. Also adds a test.

4 files changed

tree: e209a85756f3ce0bb7e7be7a27f1386046f43528

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