Skip to content

fixing issue with wrong position of cti repo clone, causes doc_gen to… - #1479

Merged
patel-bhavin merged 1 commit into
developfrom
fix_ci_bug
Jul 2, 2021
Merged

patel-bhavin merged 1 commit into
developfrom
fix_ci_bug

Conversation

@josehelps

Copy link
Copy Markdown
Contributor

… blow up

@auto-assign
auto-assign Bot requested a review from rosplk July 2, 2021 15:33
@josehelps
josehelps requested review from patel-bhavin and removed request for rosplk July 2, 2021 15:33
@patel-bhavin
patel-bhavin enabled auto-merge July 2, 2021 15:34
@patel-bhavin
patel-bhavin merged commit 8b5eb71 into develop Jul 2, 2021
@delete-merged-branch
delete-merged-branch Bot deleted the fix_ci_bug branch July 2, 2021 15:36
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