Skip to content

Make Device.set_current() faster #896

Make Device.set_current() faster

Make Device.set_current() faster #896

Triggered via pull request August 6, 2025 17:33
@leofangleofang
closed #781
Status Skipped
Total duration 7s
Artifacts

backport.yml

on: pull_request_target
Backport pull request
0s
Backport pull request
Fit to window
Zoom out
Zoom in