Description
Today, I observed something like this on a cudf PR:
- apply a suggestion from the GitHub UI (that creates a new commit)
- immediately after, click "update branch" in the GitHub UI (created a new merge commit pulling in latest
main)
- observe all jobs on the CI run from the first commit auto-cancelled except
devcontainer jobs
- try to manually cancel the old workflow run by clicking "Cancel Workflow"
- GitHub UI says "You have successfully requested the workflow to be cancelled"
devcontainer jobs not cancelled (even after 10 minutes), next CI run stuck in Pending until they finished
I don't know if this was GitHub issue (temporary or permanent), specific to the build-in-devcontainer workflow (maybe it doesn't respect OS signals?) or something else... just opening to track.
Notes
Details:
Description
Today, I observed something like this on a
cudfPR:main)devcontainerjobsdevcontainerjobs not cancelled (even after 10 minutes), next CI run stuck inPendinguntil they finishedI don't know if this was GitHub issue (temporary or permanent), specific to the
build-in-devcontainerworkflow (maybe it doesn't respect OS signals?) or something else... just opening to track.Notes
Details: