diff options
author | Silas Bartha <[email protected]> | 2024-12-11 22:30:26 -0500 |
---|---|---|
committer | Silas Bartha <[email protected]> | 2024-12-11 22:30:26 -0500 |
commit | 05935810d4fdef733caab590e5c75b351c1771e4 (patch) | |
tree | 1a474af697ee72ba824c0e530556d0804ece59d4 /.github/workflows/docs.yml | |
parent | 6c94102afc70ce28eee3d17aad997a056aaf9195 (diff) |
Diffstat (limited to '.github/workflows/docs.yml')
-rw-r--r-- | .github/workflows/docs.yml | 48 |
1 files changed, 0 insertions, 48 deletions
diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml deleted file mode 100644 index 19fab14..0000000 --- a/.github/workflows/docs.yml +++ /dev/null @@ -1,48 +0,0 @@ -name: Docs -on: - push: - branches: [master] -permissions: - contents: read - pages: write - id-token: write -concurrency: - group: deploy - cancel-in-progress: false -jobs: - build: - name: Build - runs-on: ubuntu-latest - steps: - - name: Checkout repository - uses: actions/checkout@v4 - - name: Setup Rust - uses: dtolnay/rust-toolchain@stable - - name: Configure cache - uses: Swatinem/rust-cache@v2 - - name: Setup pages - id: pages - uses: actions/configure-pages@v4 - - name: Clean docs folder - run: cargo clean --doc - - name: Build docs - run: cargo doc --no-deps - - name: Add redirect - run: echo '<meta http-equiv="refresh" content="0;url=occule/index.html">' > target/doc/index.html - - name: Remove lock file - run: rm target/doc/.lock - - name: Upload artifact - uses: actions/upload-pages-artifact@v3 - with: - path: target/doc - deploy: - name: Deploy - environment: - name: github-pages - url: ${{ steps.deployment.outputs.page_url }} - runs-on: ubuntu-latest - needs: build - steps: - - name: Deploy to GitHub Pages - id: deployment - uses: actions/deploy-pages@v4 |