Merge branch 'ci-use-precise-pocl-device' into 'master'
Gitlab CI: be specific about which pocl device to use See merge request inducer/boxtree!90
Loading
Please register or sign in to comment
Gitlab CI: be specific about which pocl device to use See merge request inducer/boxtree!90