diff options
| author | Rodrigo Arias Mallo <rodarima@gmail.com> | 2024-03-09 14:00:51 +0100 |
|---|---|---|
| committer | rodarima <rodarima@gmail.com> | 2024-03-09 14:29:24 +0100 |
| commit | 5e02c87c9471bb47670a896475078eb3c852600a (patch) | |
| tree | af9e1b0e6c2fea3d06610b3de76f57bbaa87c39b /.github | |
| parent | 099b27d9f6e110208a350e5835964461a31bd320 (diff) | |
Deploy website to GitHub pages
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/main.yml | 26 |
1 files changed, 23 insertions, 3 deletions
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 05003e7..dfa67e1 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -30,8 +30,28 @@ jobs: run: | # For some reason they are generated by root user cp -a dillo/html web/doxygen - - name: Archive docs - uses: actions/upload-artifact@v4 + - name: Upload Artifact + uses: actions/upload-pages-artifact@v3 with: - name: website path: web/ + + deploy: + if: github.ref == 'refs/heads/master' + needs: build + + # Grant GITHUB_TOKEN the permissions required to make a Pages deployment + permissions: + pages: write # to deploy to Pages + id-token: write # to verify the deployment originates from an appropriate source + + # Deploy to the github-pages environment + environment: + name: github-pages + url: ${{ steps.deployment.outputs.page_url }} + + # Specify runner + deployment step + runs-on: ubuntu-latest + steps: + - name: Deploy to GitHub Pages + id: deployment + uses: actions/deploy-pages@v4 |