Skip to content

Remove useless prefix in set_dot #873

Remove useless prefix in set_dot

Remove useless prefix in set_dot #873

Triggered via pull request July 28, 2025 12:48
Status Success
Total duration 14s
Artifacts

doc_cleanup.yml

on: pull_request
doc-preview-cleanup
9s
doc-preview-cleanup
Fit to window
Zoom out
Zoom in