Merge pull request #12 from skidder/skidder/adjust-timeout

15 minute timeout for git push

Author: skidder

.github/workflows/deps.yaml

@@ -162,7 +162,7 @@ jobs:
     needs: [linux, macos]
     runs-on: ubuntu-latest
     if: github.event_name == 'push' && (github.ref == 'refs/heads/main' || github.ref == 'refs/heads/master')
-    timeout-minutes: 30
+    timeout-minutes: 15
 
     steps:
       - name: Check out repo