Marvel's Spider-Man: Miles Morales takes up 38.96GB on PS5 at the time of writing. We should stress that it's possible this number may change, as Insomniac Games patches the title over time. Overall, it's definitely not the largest game you're going to install on your next-gen console, and the developer deserves credit for keeping the figure down to a relatively manageable number.