Skip to content

fix a bug

fix a bug #3

name: Generate Maven Index
on:
push:
branches:
- master
jobs:
generate-index:
runs-on: ubuntu-latest
steps:
- name: Checkout repository
uses: actions/checkout@v4
with:
persist-credentials: true
- name: Setup Python
uses: actions/setup-python@v5
with:
python-version: '3.x'
- name: Generate index.html files
run: |
python generate_index.py
- name: Commit and push changes
run: |
git config user.name "github-actions[bot]"
git config user.email "github-actions[bot]@users.noreply.github.com"
git add .
git diff --cached --quiet || git commit -m "chore: auto-generate index pages"
git push