Skip to content

chore: Add playground#157

Merged
CodeDredd merged 12 commits intomasterfrom
add-playground
Aug 13, 2022
Merged

chore: Add playground#157
CodeDredd merged 12 commits intomasterfrom
add-playground

Conversation

@CodeDredd
Copy link
Copy Markdown
Owner

Add working playground for docs

@CodeDredd CodeDredd added documentation Improvements or additions to documentation enhancement New feature or request labels Aug 12, 2022
@CodeDredd CodeDredd changed the base branch from next-release to master August 12, 2022 14:42
@CodeDredd CodeDredd changed the title docs: Add playground chore: Add playground Aug 12, 2022
@CodeDredd CodeDredd merged commit 20e1b68 into master Aug 13, 2022
@CodeDredd CodeDredd deleted the add-playground branch August 13, 2022 09:54
CodeDredd added a commit that referenced this pull request Aug 13, 2022
* docs(pinia-orm): add-playground

* docs(pinia-orm): update playground

* docs(pinia-orm): add missing dependcies

* chore: update verify commit to allow merges from master

* chore: update verify commit to display msg

* chore: revert verify commit changes

* refactor: update to working version

* docs(pinia-orm): working playground

* docs: update example

* docs: small text changes & logo
@CodeDredd CodeDredd mentioned this pull request Aug 14, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation Improvements or additions to documentation enhancement New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant