Skip to content

Remove useless prefix in set_dot (#2791) #4979

Remove useless prefix in set_dot (#2791)

Remove useless prefix in set_dot (#2791) #4979

Triggered via push July 28, 2025 12:48
Status Success
Total duration 1m 13s
Artifacts

format_check.yml

on: push
Fit to window
Zoom out
Zoom in