Skip to content

ci: use latest peter-evans/create-pull-request job#20

Merged
dasvh merged 1 commit intomainfrom
fix/docs-ci
Jan 9, 2026
Merged

ci: use latest peter-evans/create-pull-request job#20
dasvh merged 1 commit intomainfrom
fix/docs-ci

Commits

Commits on Jan 9, 2026