From 2ca795f688caf896bd61d18a482c8a7933652001 Mon Sep 17 00:00:00 2001 From: Diversable Date: Thu, 21 Dec 2023 22:42:16 -0800 Subject: [PATCH] remove old gh action --- .github/workflows/publish-book.yml | 40 ------------------------------ 1 file changed, 40 deletions(-) delete mode 100644 .github/workflows/publish-book.yml diff --git a/.github/workflows/publish-book.yml b/.github/workflows/publish-book.yml deleted file mode 100644 index e0d9aac..0000000 --- a/.github/workflows/publish-book.yml +++ /dev/null @@ -1,40 +0,0 @@ -name: Deploy book -on: - push: - paths: ["**"] - # branches: - # - main - -jobs: - deploy: - runs-on: ubuntu-latest - permissions: - contents: write # To push a branch - pull-requests: write # To create a PR from that branch - steps: - - uses: actions/checkout@v4 - with: - fetch-depth: 0 - - name: Install mdbook - run: | - mkdir mdbook - curl -sSL https://github.com/rust-lang/mdBook/releases/download/v0.4.35/mdbook-v0.4.35-x86_64-unknown-linux-gnu.tar.gz | tar -xz --directory=./mdbook - echo `pwd`/mdbook >> $GITHUB_PATH - - name: Install mdbook-admonish - run: | - cargo install mdbook-admonish --vers "1.14.0" --locked - mdbook-admonish install ./ - - name: Deploy GitHub Pages - run: | - mdbook build - git worktree add gh-pages - git config user.name "Deploy book from CI" - git config user.email "" - cd gh-pages - # Delete the ref to avoid keeping history. - git update-ref -d refs/heads/gh-pages - rm -rf * - mv ../book/* . - git add . - git commit -m "Deploy book $GITHUB_SHA to gh-pages" - git push --force --set-upstream origin gh-pages