Skip to content

Add CI for tutorial and code examples#501

Closed
platocrat wants to merge 6 commits intomasterfrom
ci/examples
Closed

Add CI for tutorial and code examples#501
platocrat wants to merge 6 commits intomasterfrom
ci/examples

Conversation

@platocrat
Copy link
Copy Markdown
Contributor

@platocrat platocrat commented Apr 20, 2021

Todo

  • Remove submodules from the PR
  • Remove original READMEs, keep only OVM functionality, replace READMEs with minimal version

@changeset-bot
Copy link
Copy Markdown

changeset-bot bot commented Apr 20, 2021

⚠️ No Changeset found

Latest commit: b936666

Merging this PR will not cause a version bump for any packages. If these changes should not result in a new version, you're good to go. If these changes should result in a version bump, you need to add a changeset.

This PR includes no changesets

When changesets are added to this PR, you'll see the packages that this PR includes changesets for and the associated semver types

Click here to learn what changesets are, and how to add one.

Click here if you're a maintainer who wants to add a changeset to this PR

@platocrat platocrat marked this pull request as draft April 20, 2021 00:57
@gakonst
Copy link
Copy Markdown
Contributor

gakonst commented Apr 21, 2021

@platocrat I recommend you split this PR in smaller PRs, each one importing 1 example, in order to help with reviewing!

@platocrat
Copy link
Copy Markdown
Contributor Author

@gakonst Closing this since I'll be breaking it up into smaller PRs.
The first is #641

@platocrat platocrat closed this Apr 26, 2021
@platocrat platocrat deleted the ci/examples branch April 26, 2021 21:29
theochap pushed a commit that referenced this pull request Jan 15, 2026
## Motivation

Hi! I found a bunch of outdated doc links in the `building/` section of
the book — most of them were either missing subpaths or pointing to
outdated versions.

## Solution

...

## PR Checklist

- [ ] Added Tests  
- [x] Added Documentation  
- [ ] Breaking changes
emhane pushed a commit that referenced this pull request Feb 4, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants