`doc/development/ci_setup.md` is out of date
We should remove the outdated information and update the other ones. Maybe we could even just remove this page...
We should remove the outdated information and update the other ones. Maybe we could even just remove this page...