Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Running doctests also on emb-examples (#3693)
Given how these examples are generated, we intended to run and validate CI, ongoingly on emb-examples as well. As a result, this PR ensures that direct commits there, will also run them.
- Loading branch information