diff --git a/.github/workflows/build-toc.yaml b/.github/workflows/build-toc.yaml deleted file mode 100644 index ce529da..0000000 --- a/.github/workflows/build-toc.yaml +++ /dev/null @@ -1,37 +0,0 @@ -name: Generate TOC on PR Merge - -on: - pull_request_target: - types: - - closed - branches: - - main - -jobs: - if_merged: - if: github.event.pull_request.merged == true - runs-on: ubuntu-latest - steps: - - name: Checkout repository - uses: actions/checkout@v3 - - - name: Set up Python 3 - uses: actions/setup-python@v3 - with: - python-version: '3.x' - - - name: Run TOC generation script - run: | - chmod +x .scripts/idxtool.py - python3 .scripts/idxtool.py --toc - - - name: Commit TOC updates - run: | - git config --global user.name '0xeb' - git config --global user.email 'elias.bachaalany@gmail.com' - git add . - git commit -m "docs: Update TOC.md" || echo "No changes to commit" - git pull --rebase - git push origin HEAD:main - env: - GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} \ No newline at end of file