CI Bugfix: change Jenkins node label
CI Bugfix: change Jenkins node label

CI bugfix commit changing Jenkins to request 8-core nodes for default back-end runs, aiming to fix memory limit issues.
opesci/devito,opesci/devito