Skip to content

Use device.Id instead of device.DiscoveryId to fix playsound (#16846) #17

Use device.Id instead of device.DiscoveryId to fix playsound (#16846)

Use device.Id instead of device.DiscoveryId to fix playsound (#16846) #17

Triggered via push June 9, 2024 22:52
Status Success
Total duration 1h 4m 28s
Artifacts 4

ci-build.yml

on: push
Matrix: build
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
build-log-java-17-ubuntu-22.04 Expired
426 KB
build-log-java-21-ubuntu-22.04 Expired
426 KB
build-log-java-profile-j21-ubuntu-22.04 Expired
424 KB
sat-summary-report Expired
146 KB