Merge branch 'stop-using-porter-tag-in-gitlab-ci' into 'master'
Don't use porter tag in Gitlab CI See merge request inducer/sumpy!140
Loading
Please register or sign in to comment
Don't use porter tag in Gitlab CI See merge request inducer/sumpy!140