From af5ff2b3e54f81d6fdf7b5efaf138aa29afb6cf3 Mon Sep 17 00:00:00 2001 From: nodiscc Date: Sat, 22 Jul 2023 11:21:05 +0200 Subject: [PATCH] tools/github actions: move url checks to a separate workflow - schedule at same time as the daily metadata update workflow --- .github/workflows/daily-update-metadata.yml | 6 ------ .github/workflows/daily-url-check.yml | 18 ++++++++++++++++++ 2 files changed, 18 insertions(+), 6 deletions(-) create mode 100644 .github/workflows/daily-url-check.yml diff --git a/.github/workflows/daily-update-metadata.yml b/.github/workflows/daily-update-metadata.yml index 8d6b261b75..552cfb1ebd 100644 --- a/.github/workflows/daily-update-metadata.yml +++ b/.github/workflows/daily-update-metadata.yml @@ -25,9 +25,3 @@ jobs: git add software/ tags/ platforms/ licenses*.yml git diff-index --quiet HEAD || git commit -m "[bot] update projects metadata" git push - - url-check: - runs-on: ubuntu-latest - steps: - - uses: actions/checkout@v3 - - run: make url_check diff --git a/.github/workflows/daily-url-check.yml b/.github/workflows/daily-url-check.yml new file mode 100644 index 0000000000..8b724d12b8 --- /dev/null +++ b/.github/workflows/daily-url-check.yml @@ -0,0 +1,18 @@ +on: + schedule: + - cron: '22 22 * * *' + workflow_dispatch: + +env: + GITHUB_TOKEN: ${{secrets.GITHUB_TOKEN}} + +concurrency: + group: ${{ github.ref }} + cancel-in-progress: true + +jobs: + url-check: + runs-on: ubuntu-latest + steps: + - uses: actions/checkout@v3 + - run: make url_check