Docs/Reference/Modules/rules_lean

rules_lean

rules_lean is a Bazel ruleset published to the tomato-bazel registry. This page is generated from the registry, so it never drifts from what's published.

Latest	`0.5.4`
Versions	20
Category	Bazel rules
Registry	https://registry.tbzl.dev/modules/rules_lean/
Source	github.com/tomato-bazel/rules_lean

Install#

Add the registry to your .bazelrc (ahead of the BCR), then depend on it in MODULE.bazel:

.bazelrcconfig

# registry.tbzl.dev first, then the BCR
common --registry=https://registry.tbzl.dev/
common --registry=https://bcr.bazel.build/

MODULE.bazelstarlark

bazel_dep(name = "rules_lean", version = "0.5.4")

View source & releases on GitHub ↗

Versions#

20 published versions, newest first. Each resolves to an immutable, integrity-checked entry.

0.5.4latest0.5.30.5.20.5.10.5.00.3.90.3.80.3.70.3.60.3.50.3.40.3.30.3.20.3.10.3.00.3.0-rc10.2.20.2.10.2.00.1.0

← All modules