100755 blob 7df29f360212199a8ef257614e21351a380cf196	miri.sh
100755 blob a8eaa3c65d5d817aab8af94ec9e46f3d64d89d2d	test-stable.sh
100755 blob ca520bd7fd0492d1c73fdd0a12d51bfe7b2f41d4	tsan.sh