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

pop-count: update metadata #1387

Merged
merged 1 commit into from
Nov 1, 2023
Merged

Conversation

ErikSchierboom
Copy link
Member

This PR updates the metadata for the pop-count exercise.

@ErikSchierboom ErikSchierboom added the x:size/tiny Tiny amount of work label Nov 1, 2023
Copy link
Contributor

github-actions bot commented Nov 1, 2023

Thank you for contributing to exercism/elixir 💜 🎉. This is an automated PR comment 🤖 for the maintainers of this repository that helps with the PR review process. You can safely ignore it and wait for a maintainer to review your changes.

Based on the files changed in this PR, it would be good to pay attention to the following details when reviewing the PR:

  • General steps

    • 🏆 Does this PR need to receive a label with a reputation modifier (x:size/{tiny,small,medium,large,massive})? (A medium reputation amount is awarded by default, see docs)
  • Any exercise changed

    • 👤 Does the author of the PR need to be added as an author or contributor in <exercise>/.meta/config.json (see docs)?
    • 🔬 Do the analyzer and the analyzer comments exist for this exercise? Do they need to be changed?
    • 📜 Does the design file (<exercise>/.meta/design.md) need to be updated to document new implementation decisions?
  • Practice exercise changed

    • 🌲 Do prerequisites, practices, and difficulty in config.json need to be updated?
    • 🧑‍🏫 Are the changes in accordance with the community-wide problem specifiations?

Automated comment created by PR Commenter 🤖.

@ErikSchierboom ErikSchierboom force-pushed the update-pop-count-metadata branch from 7dfe8d4 to d52ad51 Compare November 1, 2023 09:00
@angelikatyborska angelikatyborska merged commit 958d24f into main Nov 1, 2023
11 checks passed
@angelikatyborska angelikatyborska deleted the update-pop-count-metadata branch November 1, 2023 11:04
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
x:size/tiny Tiny amount of work
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants