Add a github actions job recording success of other jobs.