Improve paths filtering of docs CI job (backport #847)#848
Merged
christophfroehlich merged 1 commit intohumblefrom Jul 3, 2025
Merged
Improve paths filtering of docs CI job (backport #847)#848christophfroehlich merged 1 commit intohumblefrom
christophfroehlich merged 1 commit intohumblefrom
![mergify[bot]](https://avatars.githubusercontent.com/in/10562?v=4&size=32){kind=avatar}