diff options
| author |   Arthur Zamarin <arthurzam@gentoo.org> | 2022-10-04 12:41:21 +0300 |
|---|---|---|
| committer | Arthur Zamarin <arthurzam@gentoo.org> | 2022-10-04 12:41:21 +0300 |
| commit | 54144966a34bcc3436a14d0f90546e18d44d6acd (patch) | |
| tree | 1f40a628b4ea1b2c27a416c1285c1960f8a01028 /.github | |
| parent | bump dependencies versions (diff) | |
| download | pkgcheck-54144966a34bcc3436a14d0f90546e18d44d6acd.tar.gz pkgcheck-54144966a34bcc3436a14d0f90546e18d44d6acd.tar.bz2 pkgcheck-54144966a34bcc3436a14d0f90546e18d44d6acd.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>
Diffstat (limited to '.github')
| -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 f2f159ee..a6552fec 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 |