Skip to content

Create documentation workflow #5

Create documentation workflow

Create documentation workflow #5

Workflow file for this run

name: Generate Documentation
on:
pull_request:
branches: [ main ]
repository_dispatch:
types: [ generate ]
workflow_dispatch:
schedule:
- cron: '15 5 * * *'
permissions:
contents: write
jobs:
build:
# Only run scheduled workflows on the main repository; prevents people
# from using build minutes on their forks.
if: github.repository == 'libgit2/www.libgit2.org-docs'
name: "Generate documentation"
runs-on: "ubuntu-latest"
steps:
- name: Check out repository
uses: actions/checkout@v4
with:
path: docs
fetch-depth: 0
- name: Generate documentation
run: |
npm install
./generate ..
working-directory: docs/_generator
- name: Examine repository
run: |
if [ -n "$(git diff --name-only)" ]; then
echo "changes=true" >> $GITHUB_OUTPUT
else
echo "changes=false" >> $GITHUB_OUTPUT
fi
run: git status

Check failure on line 40 in .github/workflows/main.yml

View workflow run for this annotation

GitHub Actions / Generate Documentation

Invalid workflow file

The workflow is not valid. .github/workflows/main.yml (Line: 40, Col: 7): 'run' is already defined
working-directory: docs
- name: Publish documentation
run:
DATE=$(date +"%Y-%m-%d")
git config user.name 'Documentation Site Generator'
git config user.email '[email protected]'
git add .
git commit -m"Documentation update ${DATE}"
git push origin main
if: steps.paths.outputs.changes == true
working-directory: docs