Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Only run the Docker build when relevant changes are made
The Docker build is comparatively slow (1-2 minutes) and mostly redundant given that the majority of PRs change docs content rather than configuration or build system.
- Loading branch information