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

Limit coverage workflow to packages/flutter #113627

Merged
merged 1 commit into from
Oct 18, 2022

Conversation

jmagman
Copy link
Member

@jmagman jmagman commented Oct 18, 2022

https://docs.github.com/en/actions/using-workflows/workflow-syntax-for-github-actions#example-including-paths

#113625

Pre-launch Checklist

  • I read the Contributor Guide and followed the process outlined there for submitting PRs.
  • I read the Tree Hygiene wiki page, which explains my responsibilities.
  • I read and followed the Flutter Style Guide, including Features we expect every widget to implement.
  • I signed the CLA.
  • I listed at least one issue that this PR fixes in the description above.
  • I updated/added relevant documentation (doc comments with ///).
  • I added new tests to check the change I am making, or this PR is test-exempt.
  • All existing and new tests are passing.

If you need help, consider asking for advice on the #hackers-new channel on Discord.

@jmagman jmagman self-assigned this Oct 18, 2022
@jmagman jmagman added the autosubmit Merge PR when tree becomes green via auto submit App label Oct 18, 2022
@auto-submit auto-submit bot removed the autosubmit Merge PR when tree becomes green via auto submit App label Oct 18, 2022
@auto-submit
Copy link
Contributor

auto-submit bot commented Oct 18, 2022

auto label is removed for flutter/flutter, pr: 113627, Failed to merge pr#: 113627 with Something went wrong while executing your query. Please include C93A:9606:154FCFD:2BAD573:634F02FA when reporting this issue..

@jmagman jmagman added the autosubmit Merge PR when tree becomes green via auto submit App label Oct 18, 2022
@auto-submit auto-submit bot removed the autosubmit Merge PR when tree becomes green via auto submit App label Oct 18, 2022
@auto-submit
Copy link
Contributor

auto-submit bot commented Oct 18, 2022

auto label is removed for flutter/flutter, pr: 113627, Failed to merge pr#: 113627 with Something went wrong while executing your query. Please include D556:7F94:3C32F91:7B083AB:634F139E when reporting this issue..

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.

None yet

2 participants