At the moment any examples we have are only checked for correctness by their submitter. Cargo allows us to run them, so we should make use of this to include them in the CI testing framework so we can notice when/if they break.