@@ -31,8 +31,9 @@ jobs:
env:
AIR101REPO: ${{ secrets.AIR101REPO }}
run: |
+ sudo sh -c "curl https://raw.githubusercontent.com/kadwanev/retry/master/retry -o /usr/local/bin/retry && chmod +x /usr/local/bin/retry"
cd ..
- git clone --depth=1 --branch=master ${AIR101REPO} air101
+ retry 'git clone --depth=1 --branch=master ${AIR101REPO} air101'
- name: make
cd ../air101