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

chore(#35): add docker + Makefile for local dev #49

Merged
merged 6 commits into from
Oct 21, 2023
Merged

Conversation

EduardoSimon
Copy link
Owner

@EduardoSimon EduardoSimon commented Oct 21, 2023

An improved docker setup + a rich Makefile will allow new and existing contributors to iterate safer and faster. The CI now uses the same setup as developers having less disparity overall.

Resolves: #35

@EduardoSimon EduardoSimon changed the title chore(#35): aadd docker + Makefile for local dev chore(#35): add docker + Makefile for local dev Oct 21, 2023
@EduardoSimon EduardoSimon self-assigned this Oct 21, 2023
eduardosimonpicon added 2 commits October 22, 2023 00:27
An improved docker setup + a rich Makefile will allow new and existing
contributors to iterate safer and faster.

Resolves: #35
@EduardoSimon EduardoSimon merged commit 80b7fd9 into main Oct 21, 2023
2 checks passed
@EduardoSimon EduardoSimon deleted the 35-better-tools branch October 21, 2023 23:31
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Add better setup tools for new contributors
1 participant