From 87b3f1afa790cf62487d09f83cb4f499d56f1f3e Mon Sep 17 00:00:00 2001 From: Titus Wormer Date: Fri, 14 Oct 2022 15:09:14 +0200 Subject: Remove custom docs site in favor of `docs.rs` --- .github/workflows/main.yml | 18 ------------------ 1 file changed, 18 deletions(-) diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 55f1aee..a38c5c5 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -22,21 +22,3 @@ jobs: toolchain: stable - run: cargo install cargo-tarpaulin && cargo tarpaulin --out Xml - uses: codecov/codecov-action@v3 - site: - runs-on: ubuntu-latest - steps: - - uses: actions/checkout@v3 - - uses: actions-rs/toolchain@v1 - with: - toolchain: stable - - run: cargo doc --no-deps --release - - run: echo 'Redirecting…

Redirecting…

Click here if you are not redirected.' > target/doc/index.html - - name: Deploy - uses: JamesIves/github-pages-deploy-action@v4 - with: - branch: gh-pages - folder: target/doc - single-commit: true - commit-message: . - git-config-name: Titus Wormer - git-config-email: tituswormer@gmail.com -- cgit