script/run_tests.sh - third_party/github.com/leanprover/lean4 - Git at Google


            
            #!/usr/bin/env bash

            
            ctest -D ExperimentalBuild

            
            yes "C" | ctest -VV

            
            exit 0
	#!/usr/bin/env bash
	ctest -D ExperimentalBuild
	yes "C" \| ctest -VV
	exit 0