Nikolaus Heger f0aa971326 remove gpu feature, rename to gpu-devices ...

rename gpu-workers flag to devices, also check user doesn't specify more than they have (degrades performance)

2025-12-26 13:44:59 +08:00

..

actions/disk

ci: build builders: cuda-build:12.9.0, cuda-build:13.0.0

2025-09-13 10:25:52 +08:00

workflows

remove gpu feature, rename to gpu-devices

2025-12-26 13:44:59 +08:00