Skip to content

[CI] Run DocsBuild only when needed#1273

Merged
lukaszstolarczuk merged 1 commit intooneapi-src:mainfrom
PatKamin:move-docsbuild
Apr 17, 2025
Merged

[CI] Run DocsBuild only when needed#1273
lukaszstolarczuk merged 1 commit intooneapi-src:mainfrom
PatKamin:move-docsbuild

Commits

Commits on Apr 17, 2025