#!/bin/bash
#

set -e
set -o pipefail

rm -rf tests/tmp
export DGIT_TEST_RUN_PFX=eatmydata
nice tests/using-intree tests/run-all
git push main HEAD:${STTM_TESTED-tested}