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

Format Package.juvix when formatting project #3219

Merged

Conversation

@janmasrovira janmasrovira added this to the 0.6.9 milestone Dec 3, 2024
@janmasrovira janmasrovira self-assigned this Dec 3, 2024
@janmasrovira janmasrovira linked an issue Dec 3, 2024 that may be closed by this pull request
@janmasrovira janmasrovira marked this pull request as ready for review December 3, 2024 11:53
@janmasrovira janmasrovira force-pushed the 3217-juvix-format-should-take-packagejuvix-into-account branch from 0e40f35 to d934e92 Compare December 4, 2024 14:14
paulcadman
paulcadman previously approved these changes Dec 5, 2024
@janmasrovira janmasrovira force-pushed the 3217-juvix-format-should-take-packagejuvix-into-account branch from d934e92 to 12bc3fb Compare December 5, 2024 13:50
@janmasrovira janmasrovira force-pushed the 3217-juvix-format-should-take-packagejuvix-into-account branch from 12bc3fb to 8dde6bc Compare December 6, 2024 08:30
@paulcadman paulcadman force-pushed the 3217-juvix-format-should-take-packagejuvix-into-account branch from 8dde6bc to 32878cc Compare December 6, 2024 09:47
@janmasrovira janmasrovira merged commit 3e367aa into main Dec 6, 2024
4 checks passed
@janmasrovira janmasrovira deleted the 3217-juvix-format-should-take-packagejuvix-into-account branch December 6, 2024 10:57
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
2 participants