This repository was archived by the owner on Jan 22, 2025. It is now read-only.

Fix race in ci/run-sanity.sh (bp #10796)#10802

Merged

mergify[bot] merged 1 commit into

v1.2from

mergify/bp/v1.2/pr-10796

Jun 25, 2020

Commits on Jun 25, 2020

Fix race in ci/run-sanity.sh (#10796)

ryoqun
authored and
mergify-bot
committed