From 77ceb66a8a8d0beabce959fa848debc27048c7e4 Mon Sep 17 00:00:00 2001
From: "Tobin C. Harding" <me@tobin.cc>
Date: Wed, 21 Aug 2024 16:30:02 +1000
Subject: [PATCH] Ignore dynamic paths with shellcheck

We source a bunch of dynamic paths, `shellcheck` cannot handle dynamic
paths - configure `shellcheck` to ignore the warnings.
---
 ci/run_task.sh | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/ci/run_task.sh b/ci/run_task.sh
index bd3e26b..05b5738 100755
--- a/ci/run_task.sh
+++ b/ci/run_task.sh
@@ -1,6 +1,9 @@
 #!/usr/bin/env bash
 #
 # Script used to run CI jobs, can also be used from the command line.
+#
+# Shellcheck can't search dynamic paths
+# shellcheck source=/dev/null
 
 set -euox pipefail