Make sure we know the SHA of scripts before pipeline execution. Fixes #459