All test are green. The CI should push to Github.