Since we replaced Travis with Github Actions PRs can't be merged, as the old Travis job is still there and gets stuck with Expected — Waiting for status to be reported. The result is that non-admins (e.g. @tsenapathi and I) can't merge PRs any more since the CI successfully completing is a condition for merging.
Somehow the job needs to be removed on the Travis side, maybe these links help?
Since we replaced Travis with Github Actions PRs can't be merged, as the old Travis job is still there and gets stuck with
Expected — Waiting for status to be reported
. The result is that non-admins (e.g. @tsenapathi and I) can't merge PRs any more since the CI successfully completing is a condition for merging.Somehow the job needs to be removed on the Travis side, maybe these links help?