Retry make getdeps 250 times.

love2d · Apr 26, 2023 · 39763bb · 39763bb · MikuAuahDark · May 3, 2023
1 parent 4ab9a1c
commit 39763bb
Showing 1 changed file with 10 additions and 0 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -24,6 +24,16 @@ jobs:
  uses: actions/checkout@v3
  with:
  path: love2d-${{ github.sha }}
+ - name: Get Dependencies for AppImage
+ shell: python
+ env:
+ LOVE_BRANCH: ${{ github.sha }}
+ run: |
+ import os
+ for i in range(250):
+ if os.system(f"make getdeps LOVE_BRANCH={os.environ['LOVE_BRANCH']}") == 0:
+ raise SystemExit(0)
+ raise Exception("make getdeps failed")
  - name: Build AppImage
  run: make LOVE_BRANCH=${{ github.sha }}
  - name: Print LuaJIT branch