From 913199b0a71db8488147a32278afb0135f2f4033 Mon Sep 17 00:00:00 2001 From: Boni Garcia Date: Sat, 20 Aug 2022 01:56:41 +0200 Subject: [PATCH] Execute mirror job twice a day --- .github/workflows/mirror.yml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/.github/workflows/mirror.yml b/.github/workflows/mirror.yml index fd0cba788..d42aa4344 100644 --- a/.github/workflows/mirror.yml +++ b/.github/workflows/mirror.yml @@ -2,7 +2,7 @@ name: mirror on: schedule: - - cron: '0 */6 * * *' + - cron: '0 */12 * * *' jobs: build: @@ -27,12 +27,12 @@ jobs: git config --local user.email "boni.garcia@uc3m.es" git config --local user.name "Boni Garcia" git add * - git commit -m "Update mirror info for geckodriver, operadriver, and iedriver" -a + git commit -m "Update mirror info" -a echo "::set-output name=commit::true" fi - name: Push changes - uses: ad-m/github-push-action@master if: steps.git.outputs.commit == 'true' + uses: ad-m/github-push-action@master with: github_token: ${{ secrets.GITHUB_TOKEN }} branch: ${{ github.ref }}