Try pushing another commit to fire off the build job.