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.

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

add name and version to juvix.yaml #1422

Merged
merged 2 commits into from
Jul 29, 2022
Merged

add name and version to juvix.yaml #1422

merged 2 commits into from
Jul 29, 2022

Conversation

janmasrovira
Copy link
Collaborator

@janmasrovira janmasrovira commented Jul 29, 2022 •
edited
Loading

E.g.

name: Tic Tac Toe
version: v1.0

These fields are optional for now in order to not break existing code. We may want to revise this however

@janmasrovira janmasrovira mentioned this pull request Jul 29, 2022
Closed
@janmasrovira janmasrovira linked an issue Jul 29, 2022 that may be closed by this pull request
Use metadata from the minijuvix.yaml file to document MiniJuvix HTML files (optional) #1197
Closed
@jonaprieto jonaprieto added enhancement New feature or request html labels Jul 29, 2022
@jonaprieto jonaprieto added this to the 0.2.3 milestone Jul 29, 2022
@jonaprieto jonaprieto added the CLI label Jul 29, 2022
@janmasrovira janmasrovira merged commit a47ade8 into main Jul 29, 2022
@janmasrovira janmasrovira deleted the add-name-and-version branch July 29, 2022 11:35
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@jonaprieto jonaprieto jonaprieto approved these changes

Assignees

@janmasrovira janmasrovira

Labels
CLI enhancement New feature or request html
Projects
None yet
Milestone
0.2.3
Development

Successfully merging this pull request may close these issues.

Use metadata from the minijuvix.yaml file to document MiniJuvix HTML files (optional)
2 participants
@janmasrovira @jonaprieto