Skip to content

initial commit

initial commit #1

Workflow file for this run

name: page
on:
pull_request:
push:
jobs:
doc:
runs-on: ubuntu-latest
container: ghcr.io/carapace-sh/carapace
steps:
- uses: actions/checkout@v3
- name: "build docs"
run: |
sed -i 's/\[output.linkcheck\]/#[output.linkcheck]/' docs/book.toml
mdbook build docs
- name: "push gh-pages"
if: github.ref == 'refs/heads/master'
run: |
cd docs/book/
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/tab-dance/tab.dance.git master:gh-pages
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}