Fork channel

Create a new channel as a copy of main.

Rename channel

Rename main to:

Delete channel

Delete main? This cannot be undone.

build-and-summarize-all.sh
#!/bin/sh

set -eu

if [ $# != 1 ]; then
    echo "usage: $0 <num-tests>"
    exit 1
fi

for bits in 32 64; do
    for kind in return-types single-args; do
        echo "-- $kind-$bits --"
        (cd $kind-$bits && ../build-and-summarize.sh $1)
    done
done