use gpu runner - #95

Open

Jens (JensWehner) wants to merge 8 commits into

mainfrom

test_gpu_runner

Commits on Aug 6, 2026

use gpu runner
Jens (JensWehner)
committed
3947746
different pool
Jens (JensWehner)
committed
53a8c0e
use group
Jens (JensWehner)
committed
1e5d051
next try
Jens (JensWehner)
committed
60760cd
another try
Jens (JensWehner)
committed
a5e09a2
Apply suggestion from @JensWehner
Jens (JensWehner)
committed
5969535
Update GPU pool for lint job in workflow
Jens (JensWehner)
authored
343102f

Commits on Aug 11, 2026

try again
Jens (JensWehner)
committed
c593e84