commit: 123efa67795bf0840797e5b136973447356df4c8

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

Wed Jul 31 11:27:31 2024 -0400
committer: GitHub <noreply@github.com>

Wed Jul 31 11:27:31 2024 -0400
tree: 325db7a2c48c797570be855b7fc28452b2172eaa
parent: 49b595ba2fe309eaf7b125b6212fc3ff26a99bda [diff]

chore: update test.sh

Adapt to new error message.

tests/pkg/import-case/test.sh[diff]

1 file changed

tree: 325db7a2c48c797570be855b7fc28452b2172eaa

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