mirror of
https://github.com/zdharma-continuum/zinit.git
synced 2026-09-10 07:36:38 -04:00
Bumps [EndBug/add-and-commit](https://github.com/endbug/add-and-commit) from 10 to 11. - [Release notes](https://github.com/endbug/add-and-commit/releases) - [Commits](https://github.com/endbug/add-and-commit/compare/v10...v11) --- updated-dependencies: - dependency-name: EndBug/add-and-commit dependency-version: '11' dependency-type: direct:production update-type: version-update:semver-major ... Signed-off-by: dependabot[bot] <support@github.com>
42 lines
960 B
YAML
42 lines
960 B
YAML
name: Documentation
|
|
|
|
on:
|
|
pull_request:
|
|
branches:
|
|
- main
|
|
paths:
|
|
- 'zinit*.zsh'
|
|
push:
|
|
branches:
|
|
- main
|
|
paths:
|
|
- 'zinit*.zsh'
|
|
workflow_dispatch:
|
|
|
|
jobs:
|
|
zshelldoc:
|
|
runs-on: ubuntu-latest
|
|
steps:
|
|
|
|
- name: checkout repository
|
|
uses: actions/checkout@v7
|
|
with:
|
|
repository: ${{ github.event.pull_request.head.repo.full_name || github.repository }}
|
|
ref: ${{ github.event.pull_request.head.ref || github.ref }}
|
|
|
|
- name: re-generate documentation
|
|
run: |
|
|
make doc/container
|
|
sudo chown -R "$(id -u):$(id -g)" .
|
|
|
|
- name: commit and push updated docs
|
|
if: github.event_name != 'pull_request'
|
|
uses: EndBug/add-and-commit@v11
|
|
with:
|
|
add: 'doc'
|
|
author_name: GitHub Actions
|
|
author_email: actions@github.com
|
|
commit: --signoff
|
|
message: 'docs: generate'
|
|
push: true
|