Skip to content

Make Doc

Make Doc #17

Workflow file for this run

name: Make Doc
on:
schedule:
- cron: '22 10 * * 0'
permissions: read-all
jobs:
fix:
runs-on: ubuntu-latest
permissions:
contents: write
steps:
- name: Checkout
uses: actions/checkout@v4
- name: Setup Go
uses: actions/setup-go@v4
with:
go-version: '~1.21.0'
- name: Update Docs
run: |
bash -x -e ./.github/fixup_file_mtime.sh
make -f Makefile.doc
- name: Set up Git
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
run: |
git config user.name "coredns[bot]"
git config user.email "[email protected]"
git remote set-url origin https://x-access-token:${GITHUB_TOKEN}@github.com/${GITHUB_REPOSITORY}.git
- name: Commit and push changes
run: |
git add .
if output=$(git status --porcelain) && [ ! -z "$output" ]; then
git commit -s -m 'auto make -f Makefile.doc'
git push
fi