Make JSynCircuit documentation public #97
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: "push > build library jar (publish Javadoc if on main)" | |
on: | |
push: | |
jobs: | |
build: | |
runs-on: ubuntu-latest | |
steps: | |
- uses: actions/checkout@v3 | |
- name: Set up build environment and dependencies | |
uses: ./.github/actions/setup | |
- name: Build library with Ant | |
run: ant jar | |
- name: Run tests | |
run: ant test | |
- name: Publish Test Report | |
uses: mikepenz/action-junit-report@v3 | |
with: | |
report_paths: 'TEST-*.xml' | |
- uses: actions/upload-artifact@v3 | |
with: | |
name: sound-jar-${{ github.sha }} | |
path: library/sound.jar | |
# generate + upload javadoc artifact | |
- name: Generate Javadoc | |
run: ant javadoc | |
- name: Upload GitHub Pages Artifact | |
uses: actions/upload-pages-artifact@v1 | |
with: | |
path: reference/ | |
publish-javadoc: | |
# only publish javadocs from main branch | |
if: github.ref == 'refs/heads/main' | |
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 | |
# Specify runner + deployment step | |
runs-on: ubuntu-latest | |
steps: | |
- name: Deploy to GitHub Pages | |
uses: actions/deploy-pages@v1 |