Skip to content

Fix build#368

Merged
BNAndras merged 5 commits intoexercism:mainfrom
TheRealOwenRees:fix-build
Jul 31, 2025
Merged

Fix build#368
BNAndras merged 5 commits intoexercism:mainfrom
TheRealOwenRees:fix-build

Conversation

@TheRealOwenRees
Copy link
Contributor

Multiple changes detailed below:

  • update dev dependencies to latest versions
  • changes to the way the Makefile copies files from the exercise directory. This allows us to copy everything inside /src in case there are extra modules, and then overwrite the exercise file with the code from Example.re
  • Exercises now need function stubs

@github-actions
Copy link

Hello. Thanks for opening a PR on Exercism 🙂

We ask that all changes to Exercism are discussed on our Community Forum before being opened on GitHub. To enforce this, we automatically close all PRs that are submitted. That doesn't mean your PR is rejected but that we want the initial discussion about it to happen on our forum where a wide range of key contributors across the Exercism ecosystem can weigh in.

You can use this link to copy this into a new topic on the forum. If we decide the PR is appropriate, we'll reopen it and continue with it, so please don't delete your local branch.

If you're interested in learning more about this auto-responder, please read this blog post.


Note: If this PR has been pre-approved, please link back to this PR on the forum thread and a maintainer or staff member will reopen it.

@github-actions
Copy link

Hello 👋 Thanks for your PR.

This repo does not currently have dedicated maintainers. Our cross-track maintainers team will attempt to review and merge your PR, but it will likely take longer for your PR to be reviewed.

If you enjoy contributing to Exercism and have a track-record of doing so successfully, you might like to become an Exercism maintainer for this track.

Please feel free to ask any questions, or chat to us about anything to do with this PR or the reviewing process on the Exercism forum.

(cc @exercism/cross-track-maintainers)

@github-actions github-actions bot closed this Jul 31, 2025
@github-actions
Copy link

This is an unmaintained repository.

Cross-track maintainers - feel free to merge.

@BNAndras BNAndras reopened this Jul 31, 2025
@BNAndras BNAndras merged commit d9e4ce5 into exercism:main Jul 31, 2025
4 checks passed
@TheRealOwenRees TheRealOwenRees deleted the fix-build branch July 31, 2025 20:38
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.

2 participants