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 #527

Merged
merged 1 commit into from
Aug 2, 2023

Conversation

azeey
Copy link
Contributor

@azeey azeey commented Aug 2, 2023

@azeey azeey requested a review from marcoag as a code owner August 2, 2023 18:28
@github-actions github-actions bot added 🌱 garden Ignition Garden 🎵 harmonic Gazebo Harmonic labels Aug 2, 2023
@codecov
Copy link

codecov bot commented Aug 2, 2023

Codecov Report

Merging #527 (e989627) into gz-common5 (3d6197b) will not change coverage.
The diff coverage is n/a.

❗ Current head e989627 differs from pull request most recent head 85c2e17. Consider uploading reports for the commit 85c2e17 to get more accurate results

@@             Coverage Diff             @@
##           gz-common5     #527   +/-   ##
===========================================
  Coverage       83.65%   83.65%           
===========================================
  Files              90       90           
  Lines           10249    10249           
===========================================
  Hits             8574     8574           
  Misses           1675     1675           

@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 e282a8d into gz-common5 Aug 2, 2023
@mjcarroll mjcarroll deleted the azeey/triage_pull_request_target branch August 2, 2023 20:48
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
🌱 garden Ignition Garden 🎵 harmonic Gazebo Harmonic
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants