Skip to content

Comments

Prune pins in CI that are no longer needed.#1588

Merged
sunfishcode merged 6 commits intomainfrom
sunfishcode/update-dependencies
Feb 21, 2026
Merged

Prune pins in CI that are no longer needed.#1588
sunfishcode merged 6 commits intomainfrom
sunfishcode/update-dependencies

Commits

Commits on Feb 21, 2026