Delete .github/workflows/build-toc.yaml
This commit is contained in:
37
.github/workflows/build-toc.yaml
vendored
37
.github/workflows/build-toc.yaml
vendored
@@ -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 }}
|
||||
Reference in New Issue
Block a user