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

Sync only once a week #3494

Merged
merged 3 commits into from
Jan 31, 2023
Merged

Sync only once a week #3494

merged 3 commits into from
Jan 31, 2023

Conversation

lucacome
Copy link
Member

We don't need to sync the labels on every commit, we can run the workflow once a week.

@lucacome lucacome self-assigned this Jan 27, 2023
@lucacome lucacome requested a review from a team as a code owner January 27, 2023 07:41
@github-actions github-actions bot added the chore Pull requests for routine tasks label Jan 27, 2023
@codecov-commenter
Copy link

codecov-commenter commented Jan 27, 2023

Codecov Report

Merging #3494 (c3bbcbb) into main (ff7fd17) will not change coverage.
The diff coverage is n/a.

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

📣 This organization is not using Codecov’s GitHub App Integration. We recommend you install it so Codecov can continue to function properly for your repositories. Learn more

@@           Coverage Diff           @@
##             main    #3494   +/-   ##
=======================================
  Coverage   51.98%   51.98%           
=======================================
  Files          60       60           
  Lines       16811    16811           
=======================================
  Hits         8739     8739           
  Misses       7775     7775           
  Partials      297      297           

📣 We’re building smart automated test selection to slash your CI/CD build times. Learn more

@lucacome lucacome merged commit 653dce8 into main Jan 31, 2023
@lucacome lucacome deleted the chore/sync-schedule branch January 31, 2023 00:53
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
chore Pull requests for routine tasks
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants