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.

Sign up for GitHub

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

Jump to bottom

Fix `juvix clean --global` #3200

Merged

paulcadman merged 1 commit into main from fix-clean

Nov 29, 2024

Collaborator

lukaszcz commented Nov 29, 2024

Closes Confusing behavior of juvix clean --global #2992
Now juvix clean --global implies juvix clean. There is a new option --global-only which preserves the old behaviour.

lukaszcz added CLI fix:bug labels

lukaszcz added this to the 0.6.9 milestone

lukaszcz requested review from paulcadman and janmasrovira

November 29, 2024 14:32

lukaszcz self-assigned this

janmasrovira approved these changes

View reviewed changes

Fix

a4b7ee0

lukaszcz force-pushed the fix-clean branch from ee57060 to a4b7ee0 Compare

November 29, 2024 15:15

paulcadman merged commit 923a019 into main

4 checks passed

paulcadman deleted the fix-clean branch

November 29, 2024 16:40

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels