tools/github actions: move url checks to a separate workflow

- schedule at same time as the daily metadata update workflow
This commit is contained in:
nodiscc 2023-07-22 11:21:05 +02:00
parent 39d413986c
commit af5ff2b3e5
No known key found for this signature in database
GPG key ID: 067FC4266A4B6909
2 changed files with 18 additions and 6 deletions

View file

@ -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

18
.github/workflows/daily-url-check.yml vendored Normal file
View file

@ -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