Skip to content

Rename get_device() to get_device_access() for clarity#34

Merged
JeanLucPons merged 2 commits into
mainfrom
33-rename-get-device-access
Jun 16, 2026
Merged

Rename get_device() to get_device_access() for clarity#34
JeanLucPons merged 2 commits into
mainfrom
33-rename-get-device-access

Adapting tests and comments

36e7c13
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
build
succeeded Jun 15, 2026 in 35s