Skip to content

Mark skipped jobs as successful (#287). - #286

Open
ivanperez-keera wants to merge 1 commit into
mainfrom
develop-ci-successful-skipped
Open

Mark skipped jobs as successful (#287).#286
ivanperez-keera wants to merge 1 commit into
mainfrom
develop-ci-successful-skipped

Conversation

@ivanperez-keera

@ivanperez-keera ivanperez-keera commented Aug 14, 2026

Copy link
Copy Markdown
Contributor

We cannot merge PRs without forcing them because some PRs do not touch moveit2 or nav2 and the CI jobs are not considered successful if they are skipped.

This PR modifies the workflow file to add logic that detects if the workflow was skipped, in which case it's considered
successful.

Fixes #287.

@ivanperez-keera
ivanperez-keera force-pushed the develop-ci-successful-skipped branch from 1cc8c86 to 7fde3ee Compare August 17, 2026 17:53
@ivanperez-keera ivanperez-keera changed the title Mark skipped jobs as successful Mark skipped jobs as successful (#287). Aug 17, 2026
Some of the CI jobs may be skipped if no files have changed in the MoveIt2 or
Nav2 directories. That is causing PRs to be blocked because skipped jobs are
not considered successful, and those CI jobs are required before PRs can be
merged (without bypassing the rules).

This commit modifies the CI workflow that controls the demos to introduce new
jobs using the names of the jobs required to pass before PRs can be merged.
The new jobs act as proxies, succeeding if the actual CI jobs that build those
demos pass or if they are skipped. Introducing these proxies, which use the
names that the jobs that actually build the demos used before, prevents PRs
from being blocked indefinitely when a CI job doesn't build because no files
from that demo have been modified.
@ivanperez-keera
ivanperez-keera force-pushed the develop-ci-successful-skipped branch from 7fde3ee to 6284a70 Compare August 17, 2026 21:15
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Status: No status

Development

Successfully merging this pull request may close these issues.

PR merging requires overriding merge requirements when job skipped

1 participant