100755 blob 8bde95a478a37ddabc398debfbb5976d9848fbe7	benchmark_performance.sh
100755 blob e06031df0acdcf3e14a818dfbc3cf1074a85f339	benchmark_size.sh
100755 blob c4eda2d2c8177bee45fa6d9b40be50f80f1977ec	bots.sh
100755 blob 03394b6f032da7fbf400642a8d2f37bd456c0337	package_tests.sh
100755 blob d9185fd3bc41422ea7cfd11c784377e0d053a52c	setup.sh
100755 blob 58feb6ea69020a7a74720e6a7454379cdbede65b	tool_tests.sh