Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Fix CI for pull requests from forks #1021

Merged
merged 1 commit into from
Oct 2, 2023
Merged

Fix CI for pull requests from forks #1021

merged 1 commit into from
Oct 2, 2023

Conversation

scpeters
Copy link
Contributor

I noticed CI was failing in #1012

@scpeters scpeters requested a review from j-rivero as a code owner September 29, 2023 07:25
@scpeters scpeters force-pushed the fork_ci branch 3 times, most recently from cac969c to 0ac5b5f Compare September 29, 2023 07:42
@scpeters scpeters mentioned this pull request Sep 29, 2023
Merged
@j-rivero
Copy link
Contributor

j-rivero commented Oct 2, 2023

Thanks for the PR!

@j-rivero j-rivero merged commit 0f92582 into gazebo-tooling:master Oct 2, 2023
@scpeters scpeters deleted the fork_ci branch October 2, 2023 16:58
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@j-rivero j-rivero Awaiting requested review from j-rivero j-rivero is a code owner

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@scpeters @j-rivero