2024-04-02 05:55:45 +00:00
|
|
|
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: |
|
2024-04-02 06:06:51 +00:00
|
|
|
apt-get update -qq
|
2024-04-02 06:22:21 +00:00
|
|
|
apt-get install -qq jq
|
2024-04-02 05:55:45 +00:00
|
|
|
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)"
|
2024-04-02 06:22:21 +00:00
|
|
|
git branch -D rendered &> /dev/null || true
|
|
|
|
git worktree add --detach --no-checkout dist
|
2024-04-02 05:55:45 +00:00
|
|
|
mv dist/.git book/.git
|
2024-04-02 06:22:21 +00:00
|
|
|
rmdir dist
|
2024-04-02 05:55:45 +00:00
|
|
|
mv book/ dist/
|
|
|
|
cd dist
|
2024-04-02 06:22:21 +00:00
|
|
|
git switch --orphan=rendered
|
2024-04-02 05:55:45 +00:00
|
|
|
git add .
|
2024-04-02 06:22:21 +00:00
|
|
|
git config user.name "CI"
|
|
|
|
git config user.email "ci@noreply.libre-chip.org"
|
2024-04-02 05:55:45 +00:00
|
|
|
git commit -n -m "rendered version of $hash"
|
2024-04-02 06:36:29 +00:00
|
|
|
[[ "${{ 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
|