From e67dae182d998a8a1fcf722d9fb597afd4984685 Mon Sep 17 00:00:00 2001 From: Jon Siwek Date: Tue, 1 Sep 2020 21:40:21 -0700 Subject: [PATCH] Test generate-docs action with cron --- .github/workflows/generate-docs.yml | 24 +++++++++++++----------- 1 file changed, 13 insertions(+), 11 deletions(-) diff --git a/.github/workflows/generate-docs.yml b/.github/workflows/generate-docs.yml index 3c75b7211f..7df317e567 100644 --- a/.github/workflows/generate-docs.yml +++ b/.github/workflows/generate-docs.yml @@ -1,9 +1,8 @@ name: Generate Documentation -on: push -# on: -# schedule: -# - cron: '0 0 * * *' +on: + schedule: + - cron: '*/5 * * * *' jobs: generate: @@ -13,7 +12,7 @@ jobs: steps: - uses: actions/checkout@v2 - - name: Update Submodules + - name: Sync Submodules shell: bash run: | auth_header="$(git config --local --get http.https://github.com/.extraheader)" @@ -22,6 +21,15 @@ jobs: submodule update --init --force --recursive --depth=1 ( cd doc && git checkout master ) + - name: Update zeek-docs Submodule + run: | + echo "*** Update zeek/doc Submodule ***" + git remote add auth "https://zeek-bot:${{ secrets.ZEEK_BOT_TOKEN }}@github.com/zeek/zeek" + git add doc + git status + git commit -m 'Update doc submodule [nomail] [skip ci]' && git push auth master || /bin/true + exit 1 + - name: Fetch Dependencies run: | sudo apt-get update @@ -81,9 +89,3 @@ jobs: git status git commit -m "Generate docs" && git push || /bin/true cd .. - - echo "*** Update zeek/doc Submodule ***" - git remote set-url origin "https://zeek-bot:${{ secrets.ZEEK_BOT_TOKEN }}@github.com/zeek/zeek" - git add doc - git status - git commit -m 'Update doc submodule [nomail] [skip ci]' && git push || /bin/true