chiark / gitweb /
TODO stoats
[dgit-junk.git] / sometest-to-tested
1 #!/bin/bash
2 #
3
4 set -e
5 set -o pipefail
6
7 rm -rf tests/tmp
8 nice tests/using-intree tests/run-all
9 git push main HEAD:${STTM_TESTED-tested}