Merge branch 'ci_prep_instrumentation_lib_basop' into 'main'

[CI] make the prepare_instrumentation capable of dealing with lib_basop; see BASOP MR2260

See merge request !2253