debian/tests/run-dolfinx-scaling-test
