Merge branch 'ci-use-precise-pocl-device' into 'master'
Gitlab CI: be specific about which pocl device to use See merge request !111
No related branches found
No related tags found
Please register or sign in to comment
Gitlab CI: be specific about which pocl device to use See merge request !111