ci: a cancelled GitHub run no longer reports failure to Gitea #128

Merged

jcoffey-dev merged 1 commits from fix/ci-report-cancelled into main

2026-09-30 07:33:39 +00:00

jcoffey-dev commented

2026-09-30 07:26:51 +00:00

Owner

The mirror can push one commit twice within a second. GitHub starts two runs and cancels the older; that run's report job posted failure, and Gitea's github job failed the check before the surviving run passed (seen on ihasmail #17).

A cancelled run now posts nothing and leaves the result to the run that superseded it. Failures still report failure; tag runs are never cancelled.

The mirror can push one commit twice within a second. GitHub starts two runs and cancels the older; that run's `report` job posted **failure**, and Gitea's `github` job failed the check before the surviving run passed (seen on ihasmail #17). A cancelled run now posts nothing and leaves the result to the run that superseded it. Failures still report failure; tag runs are never cancelled.

jcoffey-dev added 1 commit 2026-09-30 07:26:51 +00:00

ci: a cancelled GitHub run no longer reports failure to Gitea

ci / fork-checks (pull_request) Skipped

Details

ci / build (pull_request) Skipped

Details

github/ci (branch) GitHub Actions

Details

ci / github (pull_request) Successful in 6m5s

Details

4ba1896eb1

The mirror can push one commit twice in quick succession. GitHub then
starts two runs and cancels the older, and that run's report job posted
"failure" for the commit. Gitea's github job, seeing the newest status,
failed the check while the surviving run was still building and later
passed.

A cancelled run now posts nothing and leaves the result to the run that
superseded it. A real failure still reports failure.

jcoffey-dev merged commit 26c7c6a897 into main

2026-09-30 07:33:39 +00:00

jcoffey-dev deleted branch fix/ci-report-cancelled

2026-09-30 07:33:39 +00:00

1 Participants

Notifications

Due Date

No due date set.

Dependencies

No dependencies set.

Reference: inbuxa/inbuxa-server#128