Skip to content

Merge pull request #929 from rsteube/traverse-rename-cmd #219

Merge pull request #929 from rsteube/traverse-rename-cmd

Merge pull request #929 from rsteube/traverse-rename-cmd #219

Workflow file for this run

name: Doc
on:
push:
branches:
- 'master'
jobs:
doc:
runs-on: ubuntu-latest
container: ghcr.io/rsteube/carapace
steps:
- uses: actions/checkout@v4
- uses: actions/cache@v3
with:
key: linkcheck
path: docs/book/linkcheck
- name: "build docs"
run: |
mdbook build docs
- name: "push gh-pages"
if: github.ref == 'refs/heads/master'
run: |
cd docs/book/html/
git init
git config user.name rsteube
git config user.email [email protected]
git add .
git commit -m "initial commit [ci skip]"
git push --force https://rsteube:${GITHUB_TOKEN}@github.com/rsteube/carapace.git master:gh-pages
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}