Skip to content

Update release metadata #7075

Update release metadata

Update release metadata #7075

Workflow file for this run

name: Update release metadata
on:
workflow_dispatch:
push:
branches:
- main
schedule:
- cron: '0 */6 * * *'
jobs:
update:
runs-on: 'ubuntu-latest'
steps:
- uses: actions/checkout@v4
- name: Install dependencies
run: sudo apt -y install jq jo perl curl parallel
- name: Run update script
env:
GITHUB_API_TOKEN: ${{ secrets.GITHUB_TOKEN }}
run: ./bin/update.bash
- name: Commit files
run: |
git config --local user.email "[email protected]"
git config --local user.name "GitHub Action"
git add docs/
git diff-index --quiet HEAD || git commit -m "Update release metadata"
- name: Push changes
uses: ad-m/github-push-action@master
with:
github_token: ${{ secrets.GITHUB_TOKEN }}