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.

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

Use pull_request_target for triage workflow #370

Merged
merged 1 commit into from
Aug 2, 2023

Conversation

azeey
Copy link
Contributor

@azeey azeey commented Aug 2, 2023

Signed-off-by: Addisu Z. Taddese <addisu@openrobotics.org>
@azeey azeey requested a review from caguero as a code owner August 2, 2023 18:34
@github-actions github-actions bot added the 🌱 garden Ignition Garden label Aug 2, 2023
@codecov
Copy link

codecov bot commented Aug 2, 2023

Codecov Report

Merging #370 (ecea07f) into gz-msgs9 (6aece2b) will not change coverage.
The diff coverage is n/a.

❗ Current head ecea07f differs from pull request most recent head 500cf1e. Consider uploading reports for the commit 500cf1e to get more accurate results

@@            Coverage Diff            @@
##           gz-msgs9     #370   +/-   ##
=========================================
  Coverage     95.41%   95.41%           
=========================================
  Files            10       10           
  Lines          1026     1026           
=========================================
  Hits            979      979           
  Misses           47       47           

@azeey azeey changed the title Use \'pull_request_target` for triage workflow Use pull_request_target for triage workflow Aug 2, 2023
@mjcarroll mjcarroll merged commit c7e0323 into gz-msgs9 Aug 2, 2023
8 checks passed
@mjcarroll mjcarroll deleted the azeey/triage_pull_request_target branch August 2, 2023 20:49
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
🌱 garden Ignition Garden
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants