Skip to content

Merge pull request #2 from tab-dance/favicon-bg #15

Merge pull request #2 from tab-dance/favicon-bg

Merge pull request #2 from tab-dance/favicon-bg #15

Workflow file for this run

name: page
on:
pull_request:
push:
jobs:
doc:
runs-on: ubuntu-latest
container: ghcr.io/carapace-sh/mdbook
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 rsteube@users.noreply.github.com
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 }}