Skip to content

fix: device_name property in device.name_changed event #3120

fix: device_name property in device.name_changed event

fix: device_name property in device.name_changed event #3120

Triggered via pull request March 7, 2025 19:20
Status Success
Total duration 1m 1s
Artifacts 1

check.yml

on: pull_request
Matrix: lint
Matrix: typecheck
Matrix: install
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
build-d9f7a0cf18f2dc652d377f59cdc460163a76fb2b
1.08 MB