LAVA scheduler spec