Boredom arises when pleasurable tasks end. If it arises when non-pleasurable tasks end, it's not called boredom, it's called peace.