tree c9519acc6e1127dd2e31153abe1d2561d4eefe98
parent 4b3806eb46f809cb08902f6943bc9f13bae2bacb
author Gilles Peskine <Gilles.Peskine@arm.com> 1671111991 +0100
committer Gilles Peskine <Gilles.Peskine@arm.com> 1671114133 +0100

Hide check_test_cases warnings on the CI

We aren't paying attention to the warnings. So hide them and save log size.

Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>