Skip to content

ci: download latest leanSpec fixture release instead of generating fixtures#385

Merged
pablodeymo merged 8 commits into
lambdaclass:mainfrom
dicethedev:download-lean-spec-fixtures-ci
Jun 10, 2026
Merged

ci: download latest leanSpec fixture release instead of generating fixtures#385
pablodeymo merged 8 commits into
lambdaclass:mainfrom
dicethedev:download-lean-spec-fixtures-ci

Commits

Commits on May 22, 2026

Commits on May 29, 2026

Commits on Jun 3, 2026

Commits on Jun 10, 2026