Skip to content

ci: skip lefthook on spec-sync bot push#1866

Merged
felixweinberger merged 2 commits intomainfrom
fweinberger/spec-sync-skip-lefthook
Apr 13, 2026
Merged

ci: skip lefthook on spec-sync bot push#1866
felixweinberger merged 2 commits intomainfrom
fweinberger/spec-sync-skip-lefthook

Commits

Commits on Apr 9, 2026

Commits on Apr 13, 2026