diff options
author | 2022-10-04 12:54:50 +0300 | |
---|---|---|
committer | 2022-10-04 12:58:13 +0300 | |
commit | 70d0288333d92f00de96cc7f51149c8a30a291c5 (patch) | |
tree | efb5e17bd87eff650bd0f5d11dd9cb8225a33e73 /.github | |
parent | commit: add `--distdir` for manifest operations (diff) | |
download | pkgdev-70d0288333d92f00de96cc7f51149c8a30a291c5.tar.gz pkgdev-70d0288333d92f00de96cc7f51149c8a30a291c5.tar.bz2 pkgdev-70d0288333d92f00de96cc7f51149c8a30a291c5.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 e992abe..4c84bf8 100644 --- a/.github/workflows/doc.yml +++ b/.github/workflows/doc.yml @@ -3,9 +3,19 @@ name: doc on: push: branches: [main] + 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 @@ -27,10 +37,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 |