Push WHIZARD version

11 jobs for master in 15 minutes and 47 seconds (queued for 7 seconds)