Skip to content

ci: doc-build.yml: do not tweak manifest.project-filter unnecessarily #457

ci: doc-build.yml: do not tweak manifest.project-filter unnecessarily

ci: doc-build.yml: do not tweak manifest.project-filter unnecessarily #457

Triggered via pull request October 15, 2025 20:13
Status Success
Total duration 18s
Artifacts

pinned-gh-actions.yml

on: pull_request
Verify GitHub Actions
14s
Verify GitHub Actions
Fit to window
Zoom out
Zoom in