Skip docs build if no diff in docs

3 jobs for pipeline in 8 minutes and 31 seconds (queued for 8 minutes and 32 seconds)