Fix padding and font sizes on side menu texts (#3398) #1918
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: Docs | |
| on: | |
| push: | |
| branches: [ main ] | |
| env: | |
| MAPBOX_SDK_TOKEN: ${{ secrets.MAPBOX_SDK_TOKEN }} | |
| jobs: | |
| build-and-deploy-docusaurus: | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: actions/[email protected] | |
| - uses: actions/setup-node@v3 | |
| with: | |
| node-version: 18 | |
| cache: yarn | |
| - name: Install dependencies | |
| run: yarn install | |
| - name: Build website | |
| run: yarn build | |
| - name: copy docs into build working-directory | |
| run: | | |
| cp -r docs ./build | |
| cp -r CNAME ./build | |
| - name: Deploy to gh-pages | |
| if: ${{ github.event_name == 'push' }} | |
| uses: peaceiris/actions-gh-pages@v3 | |
| with: | |
| github_token: ${{ secrets.GITHUB_TOKEN }} | |
| publish_branch: gh-pages | |
| publish_dir: ./build | |
| user_name: github-actions[bot] | |
| user_email: 41898282+github-actions[bot]@users.noreply.github.com | |
| build-and-deploy-dokka: | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: Checkout 🛎️ | |
| uses: actions/[email protected] | |
| - name: Set up JDK 17 | |
| uses: actions/setup-java@v1 | |
| with: | |
| java-version: 17 | |
| - name: Add empty local.properties | |
| run: touch local.properties | |
| working-directory: android | |
| - name: Add empty keystore.properties | |
| run: touch keystore.properties | |
| working-directory: android | |
| - name: Grant execute permission for gradlew | |
| run: chmod +x gradlew | |
| working-directory: android | |
| - name: Document modules with dokka | |
| run: ./gradlew dokkaHtmlMultiModule | |
| working-directory: android | |
| env: | |
| FHIRCORE_USERNAME: ${{ secrets.FHIRCORE_USERNAME }} | |
| FHIRCORE_ACCESS_TOKEN: ${{ secrets.FHIRCORE_ACCESS_TOKEN }} | |
| - name: Deploy 🚀 | |
| if: ${{ github.event_name == 'push' }} | |
| uses: JamesIves/[email protected] | |
| with: | |
| branch: gh-pages # The branch the action should deploy to. | |
| folder: android/build/dokka # The folder the action should deploy. | |
| target-folder: dokka | |