diff --git a/docs/src/guides/advanced/91_docker_and_ci.md b/docs/src/guides/advanced/91_docker_and_ci.md index 885d3155dd6c..77a8d2cc212a 100644 --- a/docs/src/guides/advanced/91_docker_and_ci.md +++ b/docs/src/guides/advanced/91_docker_and_ci.md @@ -4,7 +4,7 @@ How to efficiently debug CI issues locally. This document will be useful in case you struggle with reproducing some CI issues on your local machine. -In most cases, this is due to the fact that your local machine has some arifacts, configs, files that you might have set +In most cases, this is due to the fact that your local machine has some artifacts, configs, files that you might have set in the past, that are missing from the CI. ## Basic docker commands