Create a new channel as a copy of main.
Rename main to:
Delete main? This cannot be undone.
#!/bin/sh set -eu if [ $# != 1 ]; then echo "usage: $0 <num-tests>" exit 1 fi CPUS=2 make -j $CPUS \ $(for i in $(seq 0 $1); do echo test.$i.report; done) -k