Skip to content

Remove useless prefix in set_dot #4978

Remove useless prefix in set_dot

Remove useless prefix in set_dot #4978

Triggered via pull request July 28, 2025 09:07
Status Success
Total duration 1m 20s
Artifacts

format_check.yml

on: pull_request
Fit to window
Zoom out
Zoom in