diff options
| author |   Arthur Zamarin <arthurzam@gentoo.org> | 2022-10-04 13:05:11 +0300 |
|---|---|---|
| committer | Arthur Zamarin <arthurzam@gentoo.org> | 2022-10-04 13:05:11 +0300 |
| commit | 88080887fb366a0a0d2d30e3ded8164a34bca0c0 (patch) | |
| tree | 75dc336cc9391c70cebdd704c6167b1a75cd8738 | |
| parent | start work on v0.10.2 (diff) | |
| download | snakeoil-88080887fb366a0a0d2d30e3ded8164a34bca0c0.tar.gz snakeoil-88080887fb366a0a0d2d30e3ded8164a34bca0c0.tar.bz2 snakeoil-88080887fb366a0a0d2d30e3ded8164a34bca0c0.zip | |
ci: use deploy using github actions instead of branch
Using a branch is broken when using the mirroring. So use straight
deployment using github actions.
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
| -rw-r--r-- | .github/workflows/doc.yml | 33 |
1 files changed, 26 insertions, 7 deletions
diff --git a/.github/workflows/doc.yml b/.github/workflows/doc.yml index 53eee2c7..b5820146 100644 --- a/.github/workflows/doc.yml +++ b/.github/workflows/doc.yml @@ -3,9 +3,19 @@ name: doc on: push: branches: [master] + workflow_dispatch: + +permissions: + contents: read + pages: write + id-token: write + +concurrency: + group: "pages" + cancel-in-progress: true jobs: - build-and-deploy: + build: runs-on: ubuntu-latest steps: - name: Checkout code @@ -29,10 +39,19 @@ jobs: # notify github this isn't a jekyll site touch build/sphinx/html/.nojekyll - - name: Deploy docs to gh-pages - uses: JamesIves/github-pages-deploy-action@v4 + - name: Upload artifact + uses: actions/upload-pages-artifact@v1 with: - token: ${{ secrets.GITHUB_TOKEN }} - branch: gh-pages - folder: build/sphinx/html - single-commit: true + path: build/sphinx/html + + 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@v1 |