Skip to content

chore(deps): bump leanprover/lean-action from 1.3.0 to 1.4.0 (#528) #851

chore(deps): bump leanprover/lean-action from 1.3.0 to 1.4.0 (#528)

chore(deps): bump leanprover/lean-action from 1.3.0 to 1.4.0 (#528) #851

Lint style

succeeded Jan 19, 2026 in 3s