Merge branch '1237-small-speedup-of-prepare_instrumentation-sh-script' into 'main'

[CI] Resolve "Small speedup of `prepare_instrumentation.sh` script"

See merge request !1896