Skip to content

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

Open
dicethedev wants to merge 2 commits into
lambdaclass:mainfrom
dicethedev:download-lean-spec-fixtures-ci
Open

ci: download latest leanSpec fixture release instead of generating fixtures#385
dicethedev wants to merge 2 commits into
lambdaclass:mainfrom
dicethedev:download-lean-spec-fixtures-ci