Fix race condition in scripted
Fix race condition in scripted

These `publishLocal` calls should be run _before_ `scriptedTask`, but
before this commit they were run in parallel, leading to horrible failures.

sjrd/dotty,som-snytt/dotty,som-snytt/dotty,dotty-staging/dotty,sjrd/dotty,som-snytt/dotty,lampepfl/dotty,dotty-staging/dotty,lampepfl/dotty,som-snytt/dotty,lampepfl/dotty,dotty-staging/dotty,lampepfl/dotty,sjrd/dotty,lampepfl/dotty,sjrd/dotty,dotty-staging/dotty,som-snytt/dotty,dotty-staging/dotty,sjrd/dotty