documentation is now hosted on github pages

This commit is contained in:
Athou
2025-02-23 20:22:12 +01:00
parent 1a5b932742
commit cca3c907db
5 changed files with 6 additions and 922 deletions

View File

@@ -51,7 +51,7 @@ jobs:
run: mkdir documentation && cp ./commafeed-server/target/quarkus-generated-doc/config/commafeed-server.md ./documentation/README.md
- name: Generate pages
uses: wranders/markdown-to-pages-action@v1
uses: wranders/markdown-to-pages-action@8d8a750832932ac785f5424c8c5543aa0b26bb9a # v1
with:
token: ${{ secrets.GITHUB_TOKEN }}
out_path: target/pages
@@ -74,8 +74,8 @@ jobs:
path: commafeed-server/target/commafeed-*-runner*
- name: Upload pages
uses: actions/upload-pages-artifact@56afc609e74202658d3ffba0e8f6dda462b719fa # v3
if: matrix.os == 'ubuntu-latest' && matrix.database == 'h2' # we only need to upload the pages once
uses: actions/upload-pages-artifact@v3
with:
path: target/pages
@@ -259,7 +259,7 @@ jobs:
deploy-pages:
runs-on: ubuntu-latest
needs: build # change to release after first deployment
needs: release
permissions:
pages: write
id-token: write
@@ -268,5 +268,5 @@ jobs:
url: ${{ steps.deployment.outputs.page_url }}
steps:
- uses: actions/deploy-pages@v4
- uses: actions/deploy-pages@d6db90164ac5ed86f2b6aed7e0febac5b3c0c03e # v4
id: deployment