Skip to content

CI: a push to main does not cancel a running deploy - #94

Merged
aoinoikaz merged 1 commit into
mainfrom
ci-deploy-not-cancelled
Nov 12, 2026
Merged

aoinoikaz merged 1 commit into
mainfrom
ci-deploy-not-cancelled

Conversation

@aoinoikaz

Copy link
Copy Markdown
Contributor

cancel-in-progress: true applies to every ref, and deploy-server runs on a push to main. A second push during a deploy cancels it, and a cancel between systemctl stop and systemctl start leaves the public cache down with nothing to start it.

Only a pull request's run is cancelled by a newer push to it, as in nova-nix's ci.yml: cancel-in-progress: ${{ github.event_name == 'pull_request' }}.

Checked: actionlint 1.7.12 passes on the workflow. Not exercised: a deploy with a second push behind it. The expression is the one nova-nix's workflow already runs with.

Closes #88

cancel-in-progress applied to every ref, and deploy-server runs on a
push to main, so a second push during a deploy cancelled it.  A cancel
between the deploy's systemctl stop and systemctl start left the public
cache down with nothing to start it.  Only a pull request's run is
cancelled by a newer push to it, as in nova-nix's ci.yml.
@aoinoikaz
aoinoikaz merged commit 00449cc into main Nov 12, 2026
12 checks passed
@aoinoikaz
aoinoikaz deleted the ci-deploy-not-cancelled branch November 12, 2026 12:53
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

CI: a push to main can cancel the deploy after it stops the server

1 participant