Fix race condition if PR pushes both docs and barretenberg

[ludamad]

There needs to be a better way than just assuming we can push the next master tip - probably need to rebase