name: Deploy on: push: branches: - main jobs: deploy: runs-on: debian-12 permissions: contents: write steps: - uses: https://code.forgejo.org/actions/checkout@v3 with: fetch-depth: 0 - name: Install latest mdbook run: | apt-get update -qq apt-get install -qq jq tag="$(curl 'https://api.github.com/repos/rust-lang/mdbook/releases/latest' | jq -r '.tag_name')" url="https://github.com/rust-lang/mdbook/releases/download/${tag}/mdbook-${tag}-x86_64-unknown-linux-gnu.tar.gz" mkdir mdbook curl -sSL "$url" | tar -xz --directory=./mdbook echo "`pwd`"/mdbook >> $GITHUB_PATH - name: Build Book run: | mdbook build - name: Push to rendered branch run: | hash="$(git log -n 1 --format=reference)" git branch -D rendered &> /dev/null || true git worktree add --detach --no-checkout dist mv dist/.git book/.git rmdir dist mv book/ dist/ cd dist git switch --orphan=rendered git add . git config user.name "CI" git config user.email "ci@noreply.libre-chip.org" git commit -n -m "rendered version of $hash" [[ "${{ github.server_url }}" =~ ^"https://"(.*)$ ]] git remote set-url origin "https://x-access-token:${{ github.token }}@${BASH_REMATCH[1]}/${{ github.repository }}" git push -f origin rendered