From b7c9d42329da8840d62def1334b1d7fe0aa55eee Mon Sep 17 00:00:00 2001 From: sneakers-the-rat Date: Tue, 6 Jun 2023 18:03:02 -0700 Subject: [PATCH] remove github action workflow --- .github/workflows/deploy.yml | 59 ------------------------------------ 1 file changed, 59 deletions(-) delete mode 100644 .github/workflows/deploy.yml diff --git a/.github/workflows/deploy.yml b/.github/workflows/deploy.yml deleted file mode 100644 index e5fe8b3..0000000 --- a/.github/workflows/deploy.yml +++ /dev/null @@ -1,59 +0,0 @@ -name: Deploy -on: - push: - 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@v3 - with: - fetch-depth: 0 - - name: Update rustup - run: rustup self update - - name: Install Rust - run: | - rustup set profile minimal - rustup toolchain install nightly -c rust-docs - rustup override set nightly - - uses: Swatinem/rust-cache@v2 - with: - cache-all-crates: "true" - cache-targets: "false" - prefix-key: "v0" - # - run: cargo install --locked --path . - - - name: Install latest mdbook - run: | - 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: Install plugins - run: | - cargo install mdbook-bib - cargo install mdbook-mermaid - - name: Deploy GitHub Pages - run: | - # This assumes your book is in the root of your repository. - # Just add a `cd` here if you need to change to another directory. - mdbook build - # the binary of the package builds the book! - # docs - git worktree add gh-pages - git config user.name "Deploy 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 $GITHUB_SHA to gh-pages" - git push --force --set-upstream origin gh-pages