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.

Sign up for GitHub

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

Jump to bottom

Workflow housekeeping #1853

Merged
merged 5 commits into from
Jul 23, 2024
Merged

Workflow housekeeping #1853

merged 5 commits into from
Jul 23, 2024

Conversation

cewert
Copy link
Member

@cewert cewert commented Jul 23, 2024 •
edited
Loading

See my fork for examples of the lint workflows running based on the files modified. We have no lint workflow for .yml files so none of the lint workflows ran for this PR.

Changes

  • split up lint jobs into separate workflows and only run them when needed. play nice with github servers
  • don't run roku static analysis on forks or on push. play nice with roku and github servers
  • add info about how the bump version PR was created to the PR description
  • increase time until PR is marked stale from 21 to 30 days and time to close stale PRs from 7 to 15 days

@cewert cewert added the dev-improvement This improves the dev experience in some way. label Jul 23, 2024
@cewert cewert requested a review from a team as a code owner July 23, 2024 03:28
@cewert cewert merged commit c9c8837 into jellyfin:master Jul 23, 2024
4 checks passed
@cewert cewert deleted the clean-up-workflows branch July 23, 2024 17:46
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@neilsb neilsb neilsb approved these changes

Assignees
No one assigned
Labels
dev-improvement This improves the dev experience in some way.
Projects
Ongoing development
Status: Done
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@cewert @neilsb