Skip to content

feat(libtorch): report device identity per index - #35

Open
NicolasRouquette wants to merge 5 commits into
lean-dojo:mainfrom
NicolasRouquette:libtorch-device-identity
Open

NicolasRouquette wants to merge 5 commits into
lean-dojo:mainfrom
NicolasRouquette:libtorch-device-identity

fix(libtorch): handle CPU-only SDKs and the host in the device identi…

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

Annotations

1 warning and 1 notice
Build project
succeeded Oct 19, 2026 in 2h 32m 51s