Skip to content

Remove dummy() from WindowId and DeviceId and use Option<DeviceId> #6888

Remove dummy() from WindowId and DeviceId and use Option<DeviceId>

Remove dummy() from WindowId and DeviceId and use Option<DeviceId> #6888

Triggered via pull request September 28, 2024 16:27
Status Success
Total duration 5m 7s
Artifacts

ci.yml

on: pull_request
Check formatting
17s
Check formatting
Taplo
4s
Taplo
Check for typos
10s
Check for typos
ESLint
11s
ESLint
Minimize JavaScript
9s
Minimize JavaScript
Matrix: cargo-deny
Matrix: tests
Fit to window
Zoom out
Zoom in