new runes

[dgit-junk.git] / sometest-to-tested

#!/bin/bash
#

set -e
set -o pipefail

${0%/*}/setting-tests-env-vars \
time nice tests/using-intree tests/run-all
git push main HEAD:${STTM_TESTED-tested}