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

Improve manifest (extra- & dev- fields) #360

Merged
merged 1 commit into from
May 19, 2024
Merged

Improve manifest (extra- & dev- fields) #360

merged 1 commit into from
May 19, 2024

Conversation

boozook
Copy link
Owner

@boozook boozook commented May 14, 2024

@github-actions github-actions bot added the cargo About cargo or cargo-playdate label May 14, 2024
@boozook boozook added assets Assets Build System build-utils manifest Package manifest -related things labels May 14, 2024
* make serde optional

* add manifest extra fields

* override `name` & `id` fields for dev examples
@boozook boozook marked this pull request as ready for review May 19, 2024 12:56
@github-actions github-actions bot enabled auto-merge May 19, 2024 12:58
@boozook boozook disabled auto-merge May 19, 2024 12:59
@boozook boozook changed the title Dev manifest Improve manifest (extra- & dev- fields) May 19, 2024
@boozook boozook merged commit 235f16c into main May 19, 2024
40 checks passed
@boozook boozook deleted the dev-manifest branch May 19, 2024 13:17
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
assets Assets Build System build-utils cargo About cargo or cargo-playdate manifest Package manifest -related things
Projects
Status: Done
Development

Successfully merging this pull request may close these issues.

1 participant