Skip to content

Conversation

@mickmis
Copy link
Contributor

@mickmis mickmis commented Nov 20, 2024

I merged #844 without updating the branch first, and the automatic merge with the concurrent changes from #848 ended up setting a wrong number of skipped actions, making the CI on the main branch failing.

@BenjaminPelletier BenjaminPelletier merged commit 60fb47d into interuss:main Nov 20, 2024
19 checks passed
github-actions bot added a commit that referenced this pull request Nov 20, 2024
@mickmis mickmis deleted the fix-utm-skipped branch November 21, 2024 08:31
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.

2 participants