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

Merge branch 'main' into download-lean-spec-fixtures-ci

a996469
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs