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

ci: add missing labeler job #2038

Merged
merged 3 commits into from
Sep 1, 2023
Merged

ci: add missing labeler job #2038

merged 3 commits into from
Sep 1, 2023

Conversation

Borda
Copy link
Member

@Borda Borda commented Aug 31, 2023

What does this PR do?

Seems we had the config but missing job so not much happened...

Before submitting
  • Was this discussed/agreed via a Github issue? (no need for typos and docs improvements)
  • Did you read the contributor guideline, Pull Request section?
  • Did you make sure to update the docs?
  • Did you write any new necessary tests?
PR review

Anyone in the community is free to review the PR once the tests have passed.
If we didn't discuss your PR in Github issues there's a high chance it will not be merged.

Did you have fun?

Make sure you had fun coding 🙃


📚 Documentation preview 📚: https://torchmetrics--2038.org.readthedocs.build/en/2038/

@Borda Borda requested a review from a team August 31, 2023 14:31
@Borda Borda enabled auto-merge (squash) August 31, 2023 14:31
@codecov
Copy link

codecov bot commented Aug 31, 2023

Codecov Report

Merging #2038 (3a99386) into master (66f1859) will not change coverage.
The diff coverage is n/a.

Additional details and impacted files
@@          Coverage Diff           @@
##           master   #2038   +/-   ##
======================================
  Coverage      87%     87%           
======================================
  Files         279     279           
  Lines       15814   15814           
======================================
  Hits        13718   13718           
  Misses       2096    2096           

@mergify mergify bot added the ready label Sep 1, 2023
@Borda Borda disabled auto-merge September 1, 2023 07:59
@Borda Borda merged commit 23c4e62 into master Sep 1, 2023
63 checks passed
@Borda Borda deleted the ci/labelers branch September 1, 2023 08:08
matsumotosan pushed a commit to matsumotosan/metrics that referenced this pull request Sep 19, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants