There was previously something like this with if: contains(github.event.pull_request.labels.*.name, 'in-test-with-mfem-master') , this PR adds that feature back in using the label skip-ci
This PR also tidies up a little bit by deleting some unused files
There was previously something like this with
if: contains(github.event.pull_request.labels.*.name, 'in-test-with-mfem-master')
, this PR adds that feature back in using the labelskip-ci
This PR also tidies up a little bit by deleting some unused files