Skip to content

ci: do not specify checkout ref - #180

Merged
saecki merged 2 commits into
saecki:mainfrom
Mirko-A:mirko/fix-fork-pull-request-ci
Sep 12, 2026
Merged

ci: do not specify checkout ref#180
saecki merged 2 commits into
saecki:mainfrom
Mirko-A:mirko/fix-fork-pull-request-ci

ci: do not commit generated types/docs on pull requests

8e9743c
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
build
succeeded Sep 10, 2026 in 9s