This should be easily fixable by modifying run_tests.sh or .cirrus.yml. We'll figure out how to store and use the benchmark data later. Running them could at least guarantee us that nothing is unexpectedly broken or deleted.

Some binaries/benchmarks that are currently not exercised are:

• txt_benchmarks
• shell_benchmarks
• fml_benchmarks

(there may be more)