Skip to content
This repository has been archived by the owner on Mar 23, 2023. It is now read-only.

chore: adjust workflows to match all branches on push #1472

Merged
merged 2 commits into from
Sep 27, 2019
Merged

chore: adjust workflows to match all branches on push #1472

merged 2 commits into from
Sep 27, 2019

Conversation

dated
Copy link
Contributor

@dated dated commented Sep 26, 2019

Summary

Checklist

  • Documentation (if necessary)
  • Tests (if necessary)
  • Ready to be merged

@ghost
Copy link

ghost commented Sep 26, 2019

Thanks for submitting this pull request! A maintainer will review this in the next few days and explicitly select labels so you know what's going on.

If no reviewer appears after a week, a reminder will be sent out.

@ghost ghost added Complexity: Low Less than 64 lines changed. Type: Task The issue is a request to setup third-party integrations or any general non-code related tasks. labels Sep 26, 2019
@faustbrian
Copy link
Contributor

Leaving this here for reference https://github.community/t5/GitHub-Actions/glob-in-path-filter-is-still-unsupported-despite-the-newly/td-p/32425.

I'll leave the PR open until a GitHub developer on that or some other topic confirms that they settled on a format for their pattern matching.

@ghost ghost added the Status: Contributor Approved The pull request has been approved by a contributor. label Sep 27, 2019
@ghost
Copy link

ghost commented Sep 27, 2019

A contributor has approved this PR. A maintainer will merge this PR shortly. If it shouldn't be merged yet, please leave a comment saying so and we'll wait.

Thank you for your contribution!

@faustbrian faustbrian merged commit 728fe19 into ArkEcosystem:develop Sep 27, 2019
@faustbrian faustbrian added the Bounty: Tier 6 Awarded for typos, text corrections, dependency updates, etc. This is valued at 0 USD. label Sep 27, 2019
@ArkEcosystem ArkEcosystem deleted a comment Sep 27, 2019
@ArkEcosystem ArkEcosystem deleted a comment Sep 27, 2019
@dated dated deleted the chore/workflows branch September 27, 2019 10:12
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
Bounty: Tier 6 Awarded for typos, text corrections, dependency updates, etc. This is valued at 0 USD. Complexity: Low Less than 64 lines changed. Status: Contributor Approved The pull request has been approved by a contributor. Type: Task The issue is a request to setup third-party integrations or any general non-code related tasks.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants