Remove space from file names #142

Job	Run time
miri	4m 32s
nostd-build (1.41.1, false, thumbv6m-none-eabi)	1m 16s
nostd-build (stable, false, thumbv6m-none-eabi)	1m 16s
tests (1.41.1, false, ubuntu-latest, x86_64-unknown-linux-gnu, cgemm)	1m 55s
tests (stable, false, ubuntu-latest, x86_64-unknown-linux-gnu, threading cgemm, yes_examples, yes...	2m 52s
tests (nightly, false, ubuntu-latest, x86_64-unknown-linux-gnu, avx)	29s
tests (nightly, ubuntu-latest, x86_64-unknown-linux-gnu, threading cgemm, fma, false)	55s
tests (nightly, ubuntu-latest, i686-unknown-linux-gnu, cgemm, sudo apt-get update sudo apt-get in...	1m 2s
tests (stable, false, macos-latest, x86_64-apple-darwin, threading cgemm, yes_examples)	4m 15s
cross_test (stable, aarch64-unknown-linux-gnu, constconf cgemm threading)	2m 47s
cross_test (1.61.0, aarch64-unknown-linux-gnu, cgemm)	2m 10s
cross_test (1.41.1, aarch64-unknown-linux-gnu, cgemm)	6m 29s
	29m 58s

Provide feedback