I think red vs. green invokes the wrong kind of semantics. If anything, those colors should be swapped. But frankly, it is better to choose neither of those colors, especially when it looks a lot like a CI status tracker. How about a certain shade of grey?
While we are at it, a deep link rather than top-level would be nice. But that's optional.