Skip to content
Snippets Groups Projects

Merge branch 'master' into 'eliminate-the-dialects'

Passed
Stephan Seitz created pipeline for commit 52cf1351
, finished
1 related merge request: !9 Add CudaBackend, CudaSympyPrinter
6 jobs 3 minutes 40 seconds, queued for 3 seconds