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

chore: merge lint workflows #89

Merged
merged 1 commit into from
Sep 20, 2022
Merged

Conversation

jbergstroem
Copy link
Owner

Github unfortunately doesn't deal well with multiple workflows using a similar name (in this case "lint"). It is currently required in order to do fine-grained event triggers, since there's no need to run an action linter if the actions werern't changed.

We now instead look at what files have changed and skip running a job if it doesn't apply.

@jbergstroem jbergstroem changed the title chore: refactor all lint jobs into one chore: merge lint workflows Sep 20, 2022
@jbergstroem jbergstroem force-pushed the chore/standardize-workflows branch from e4d4112 to 20d4430 Compare September 20, 2022 19:13
@jbergstroem jbergstroem marked this pull request as ready for review September 20, 2022 19:23
Github unfortunately doesn't deal well with multiple workflows using a similar
name (in this case "lint"). It is currently required in order to do fine-grained
event triggers, since there's no need to run an action linter if the actions werern't changed.

We now instead look at what files have changed and skip running a job if it doesn't apply.
@jbergstroem jbergstroem force-pushed the chore/standardize-workflows branch from d120ae5 to bf9705d Compare September 20, 2022 19:24
@jbergstroem jbergstroem merged commit 8671eda into master Sep 20, 2022
@jbergstroem jbergstroem deleted the chore/standardize-workflows branch September 20, 2022 19:29
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.

1 participant