diff options
Diffstat (limited to '.github/workflows')
| -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 |