Hide Oscar.jl banner, when used in other module (#3541) #14229

Job	Run time
doctest (1.10, ubuntu-latest)	31m 14s
doctest (1.11-nightly, ubuntu-latest)	26m 35s
doctest (nightly, ubuntu-latest)	26m 6s
test (1.6, short, ubuntu-latest)	59m 48s
doctest (1.10, ubuntu-latest, depwarn=error)	31m 13s
test (1.6, long, ubuntu-latest)	46m 29s
doctest (1.10, macOS-14)	20m 16s
test (1.10, short, ubuntu-latest)	49m 40s
test (1.10, long, ubuntu-latest)	40m 39s
test (1.11-nightly, short, ubuntu-latest)	53m 49s
test (1.11-nightly, long, ubuntu-latest)	38m 0s
test (nightly, short, ubuntu-latest)	58m 27s
test (nightly, long, ubuntu-latest)	43m 40s
test (1.10, short, ubuntu-latest, depwarn=error)	49m 25s
test (1.10, long, ubuntu-latest, depwarn=error)	39m 31s
test (1.10, short, macOS-14)	1h 11m 21s
test (1.10, long, macOS-latest)	54m 13s
	12h 20m 26s

Provide feedback