From afb8ae00b41fa4f7497c30741d2af1828793eaac Mon Sep 17 00:00:00 2001 From: "fuder.eth" <139509124+vtjl10@users.noreply.github.com> Date: Sat, 14 Dec 2024 16:01:32 +0100 Subject: [PATCH] Update 91_docker_and_ci.md --- docs/src/guides/advanced/91_docker_and_ci.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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