Set Github actions timeout for Pull requests workflow

[Saurabh-Daware]

Github actions sometimes gets stuck and the workflow continues for 6 hours which is default timeout for Github actions. Pull request workflow usually takes 4 minutes. So I propose a timeout of 15 minutes for Pull request workflow.