Skip to content

Merge branch 'main' into gha-bot #5

Merge branch 'main' into gha-bot

Merge branch 'main' into gha-bot #5

Workflow file for this run

on:
schedule:
- cron: '*/30 * * * *'
push:
branches:
- '*'
workflow_dispatch:
jobs:
update:
runs-on: ubuntu-latest
permissions:
contents: write
steps:
- uses: actions/setup-python@main
- uses: astral-sh/setup-uv@main
- uses: actions/checkout@main
- run: uv run generate.py
- run: git config user.name "github-actions[bot]"
- run: git config user.email "41898282+github-actions[bot]@users.noreply.github.com"
- run: git add .
- run: git commit -m 'Update progress values'
- uses: ad-m/github-push-action@master
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
branch: ${{ github.ref }}