Open Saurabh-Daware opened 2 months ago
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.
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.