commit: a08dc72dd43698ba5488a00ab03831d11a749c38

[log]
author: Garmelon <joscha@plugh.de>

Tue Jun 30 20:46:54 2026 +0200
committer: GitHub <noreply@github.com>

Tue Jun 30 18:46:54 2026 +0000
tree: ee44437cedd31751329daaf805869f858f1bd176
parent: f99b924102c6a1b491a155e1e64e47b5dac99537 [diff]

chore: ci: fix adaptation PR CI (#14229)

This PR fixes adaptation CI only running when a label called
"downstream" is added, even though it should now run on more events.

.github/workflows/adaptation-pr.yml[diff]

1 file changed

tree: ee44437cedd31751329daaf805869f858f1bd176

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.