-
Notifications
You must be signed in to change notification settings - Fork 791
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.
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
[19048] Backport workflows from master #3965
Conversation
Signed-off-by: Miguel Company <MiguelCompany@eprosima.com>
8c3b2f0
to
cd0d361
Compare
Signed-off-by: Miguel Company <MiguelCompany@eprosima.com>
Signed-off-by: Miguel Company <MiguelCompany@eprosima.com>
@richiprosima please test this |
Signed-off-by: EduPonz <eduardoponz@eprosima.com>
Signed-off-by: EduPonz <eduardoponz@eprosima.com>
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
LGTM with green github CI
Signed-off-by: EduPonz <eduardoponz@eprosima.com>
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
LGTM with green github CI
I will go ahead and merge this, since the deadlock reported by tsan has not been introduced by this PR. We'll investigate it separately |
Description
This copies the github workflows folder from master.
Contributor Checklist
versions.md
file (if applicable).Reviewer Checklist