Closed rsafonseca closed 1 year ago
Looks good to me! As long as CI was already failing before, seems fine to merge it.
It was not, fixing that now