Backend UI-Websocket: get user.globalRole instead of default guest ro… #46
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: Build Docs | |
| on: | |
| push: | |
| branches: | |
| - develop | |
| jobs: | |
| build-docs: | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: actions/checkout@v3 | |
| - name: Setup Java 17 | |
| uses: actions/setup-java@v3 | |
| with: | |
| distribution: 'temurin' | |
| java-version: '17' | |
| cache: gradle | |
| - name: Build Javadocs | |
| run: ./gradlew buildAggregatedJavadocs --continue | |
| - name: Build Antora-docs for openems.io | |
| run: ./gradlew buildAntoraDocs --continue | |
| - name: Deploy to GitHub pages | |
| uses: peaceiris/actions-gh-pages@v3 | |
| with: | |
| personal_token: ${{ secrets.DOCS }} | |
| external_repository: OpenEMS/openems.io | |
| publish_branch: master | |
| publish_dir: build/www |