Proper local complete intersection morphisms preserve perfect complexes

Let f : X −→ Y be a proper and local complete intersection morphism of schemes. We prove that Rfpreserves perfect complexes, without any projectivity or noetherian assumptions. This provides a different proof of a theorem by Neeman and Lipman (see (Li-Ne)) based on techniques from derived algebraic geometry to proceed a reduction to the noetherian case.