Skip to content

[Merged by Bors] - fix(scripts/runSkimmer): only lake update skimmer#41662

Closed
thorimur wants to merge 1 commit into
leanprover-community:masterfrom
thorimur:sideskimmer-fix
Closed

[Merged by Bors] - fix(scripts/runSkimmer): only lake update skimmer#41662
thorimur wants to merge 1 commit into
leanprover-community:masterfrom
thorimur:sideskimmer-fix

fix(runSkimmer.sh): only `lake update skimmer`

65b5e10
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
Lint and suggest
succeeded Jul 12, 2026 in 2m 39s