Adding spaces #1040

Job	Run time
ubuntu-latest\|release\|--enable-thread-safety --enable-mcsat\|CC=gcc CXX=g++ (push)	6m 41s
ubuntu-latest\|release\|--enable-mcsat\|CC=gcc CXX=g++ (push)	6m 34s
ubuntu-latest\|gcov\|--enable-thread-safety --enable-mcsat\|CC=gcc-13 CXX=g++-13 (push)	11m 16s
ubuntu-latest\|gcov\|--enable-mcsat\|CC=gcc-13 CXX=g++-13 (push)	10m 12s
ubuntu-latest\|debug\|--enable-mcsat\|CC=gcc CXX=g++ (push)	10m 37s
ubuntu-latest\|debug\|--enable-thread-safety --enable-mcsat\|CC=gcc CXX=g++ (push)	11m 7s
${{ matrix.os }}\|${{ matrix.mode }}\|${{ matrix.config-opt }}\|${{ matrix.env }} (pr)	-6s
	56m 21s

Navigation Menu