commit: 2e6bf6758d7ce0c0d1640f4f9cf68bf31a6c9ff6

[log]
author: Kim Morrison <kim@tqft.net>

Wed Mar 18 10:50:21 2026 +1100
committer: Kim Morrison <kim@tqft.net>

Wed Mar 18 11:51:41 2026 +1100
tree: add9165a6bfe4d33cbec92cbdc5404ff00052245
parent: bf4f51e70471a4828855f69967345c27869ad2ad [diff]

chore: check for empty PRs in CI

This PR adds a CI check that fails when a PR introduces no changes
compared to its base branch. This catches cases where a duplicate PR
is queued for merge after an identical PR has already landed.

Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>

.github/workflows/check-empty-pr.yml[Added - diff]

1 file changed

tree: add9165a6bfe4d33cbec92cbdc5404ff00052245

README.md

This is the repository for Lean 4.

About

Installation

See Install Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.