Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Motivation: The CI for examples builds them in the setup stage and the actual run stages. That's just a silly oversight. Modifications: - Don't build them during set. Result: Examples don't build twice in CI
- Loading branch information