Workday (NASDAQ:WDAY) letting go of 8.5% of its current workforce