Commit

I had the sad idea of accepting Github new PR view. I really hope they do not go this way and mess that bad with that view. the CI results were ion the top, I agree with that, but make it like gitlab, that makes sense.