The build artifacts were actually not pushed because the HEAD ref before the commit 'add build artifacts' was used in the git push command.