Skip to content

ci: generate test fixtures from pinned leanSpec commit#118

Merged
pablodeymo merged 3 commits into
mainfrom
ci/pin-leanSpec-version
Feb 11, 2026
Merged

ci: generate test fixtures from pinned leanSpec commit#118
pablodeymo merged 3 commits into
mainfrom
ci/pin-leanSpec-version

fix(ci): touch fixtures dir to prevent make from regenerating

39b3a1a
Select commit
Loading
Failed to load commit list.
Greptile Apps / Greptile Review succeeded Feb 11, 2026 in 2m 27s

Greptile Review

Greptile has reviewed the Pull Request.

1 files reviewed, 1 comments added.

View more details on Greptile Apps