CICD.yml: stop ci for redox

[oech3]

Closes #9111 . This target is not tier 1.

[codspeed-hq]

CodSpeed Performance Report

Merging #9112 will degrade performances by 3.91%

_{Comparing oech3:noredoxci (436b80e) with main (ee422bf)}

Summary

❌ 2 regressions
✅ 123 untouched

⚠️ Please fix the performance issues or acknowledge them on CodSpeed.

Benchmarks breakdown

	Benchmark	BASE	HEAD	Change
❌	du_balanced_tree[(5, 4, 10)]	9 ms	9.3 ms	-2.3%
❌	du_human_balanced_tree[(5, 4, 10)]	10.1 ms	10.5 ms	-3.91%

[github-actions]

GNU testsuite comparison:

Skipping an intermittent issue tests/misc/tee (passes in this run but fails in the 'main' branch)
Skipping an intermittent issue tests/tail/overlay-headers (passes in this run but fails in the 'main' branch)

[cakebaker]

Thanks!

[sylvestre]

I am not convinced we should disable it that quickly. We should wait a day or two

[oech3]

Was broken for few days, I think.

[oech3]

Still failing in local test.