It would be neat if we could have GitHub Actions run the commands in the example on PRs / merges.
It would be neat if we could have GitHub Actions run the commands in the example on PRs / merges.