Skip to content

Prevent ArrayIndexOutOfBoundsException when none of the devices have … #54

Prevent ArrayIndexOutOfBoundsException when none of the devices have …

Prevent ArrayIndexOutOfBoundsException when none of the devices have … #54

Workflow file for this run

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