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

Clean up compile targets, remove old commands #116

Merged

jonaprieto merged 1 commit into main from vrom911/clean-targets-and-commands

Jun 19, 2023

Contributor

vrom911 commented Jun 19, 2023

Refresh compilation targets according to the latest juvix
Remove compilation --runtime option as it doesn't exist in the current Juvix
Clear non-existing Juvix dev commands


          Clean up compile targets, remove old commands

f49edb4

vrom911 added the maintenance label

vrom911 requested a review from jonaprieto

June 19, 2023 14:25

vrom911 self-assigned this

jonaprieto approved these changes

View reviewed changes

jonaprieto merged commit 2a15f2e into main

jonaprieto deleted the vrom911/clean-targets-and-commands branch

June 19, 2023 14:44

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

Labels