Skip to content

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

aaed01a
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Merged

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
aaed01a
Select commit
Loading
Failed to load commit list.
Lint style
succeeded Jan 19, 2026 in 2s