[INFRA] Potentially fix ASAN SDE CI timeout#287

eseiler merged 1 commit intoseqan:mainseqan/hibf:mainfrom

eseiler:infra/maybe_fixeseiler/hibf:infra/maybe_fixCopy head branch name to clipboard