From 29b860aa123e1220ea6747c65324cc0440712ccb Mon Sep 17 00:00:00 2001 From: Ehsan Saei <71217171+esigo@users.noreply.github.com> Date: Wed, 6 Nov 2024 22:55:39 +0100 Subject: [PATCH] fix link --- ci/README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/ci/README.md b/ci/README.md index 03a5002249..ec1b093448 100644 --- a/ci/README.md +++ b/ci/README.md @@ -1,7 +1,7 @@ # Building and running tests as a developer CI tests can be run inside -[devcontainer](../CONTRIBUTING.md###DevContainer-Setup-for-Project) +[devcontainer](../CONTRIBUTING.md#devcontainer-setup-for-project) by invoking the script `./ci/do_ci.sh {TARGET}` where the targets are: