Add shorter CI timeout (#1769)

The default is 360 minutes which is very long. Our builds are usually around 10 minutes, so 20 minutes is a good value to prevent overbilling builds that create infinite loops.
ACINQ · Apr 14, 2021 · d0e79fa · d0e79fa
1 parent eb834e2
commit d0e79fa
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -10,6 +10,7 @@ jobs:
 
   build:
     runs-on: ubuntu-latest
+    timeout-minutes: 20
 
     steps:
     - uses: actions/checkout@v2