Skip to content

Add Lyrical to CI (backport #838) - #840

Merged
David-LP99 merged 2 commits into
kiltedfrom
mergify/bp/kilted/pr-838
Oct 9, 2026
Merged

David-LP99 merged 2 commits into
kiltedfrom
mergify/bp/kilted/pr-838

Conversation

@mergify

@mergify mergify Bot commented Oct 9, 2026

Copy link
Copy Markdown
Contributor

Description

PR to extend the nightly CI jobs with lyrical.


This is an automatic backport of pull request #838 done by Mergify.

Signed-off-by: David Laseca Perez <davidlaseca@eprosima.com>
(cherry picked from commit 688d9cc)

# Conflicts:
#	.github/workflows/nightly.yml
@mergify
mergify Bot requested a review from pablogs9 as a code owner October 9, 2026 08:10
@mergify mergify Bot added the conflicts label Oct 9, 2026
@mergify

mergify Bot commented Oct 9, 2026

Copy link
Copy Markdown
Contributor Author

Cherry-pick of 688d9cc has failed:

On branch mergify/bp/kilted/pr-838
Your branch is up to date with 'origin/kilted'.

You are currently cherry-picking commit 688d9cc.
  (fix conflicts and run "git cherry-pick --continue")
  (use "git cherry-pick --skip" to skip this patch)
  (use "git cherry-pick --abort" to cancel the cherry-pick operation)

Changes to be committed:
	modified:   README.md

Unmerged paths:
  (use "git add <file>..." to mark resolution)
	both modified:   .github/workflows/nightly.yml

To fix up this pull request, you can check it out locally. See documentation: https://docs.github.com/en/pull-requests/collaborating-with-pull-requests/reviewing-changes-in-pull-requests/checking-out-pull-requests-locally

@mergify mergify Bot mentioned this pull request Oct 9, 2026
@mergify

mergify Bot commented Oct 9, 2026 •

Copy link
Copy Markdown
Contributor Author

This pull request does not currently match the merge queue conditions, so it cannot be queued from here. The box comes back if it matches again.

Signed-off-by: David Laseca Perez <davidlaseca@eprosima.com>
@David-LP99
David-LP99 merged commit c4761b9 into kilted Oct 9, 2026
20 checks passed
@David-LP99
David-LP99 deleted the mergify/bp/kilted/pr-838 branch October 9, 2026 10:30
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.

1 participant