Skip to content

Merge branch 'master-who' of https://github.com/protegeproject/webpro… #93

Merge branch 'master-who' of https://github.com/protegeproject/webpro…

Merge branch 'master-who' of https://github.com/protegeproject/webpro… #93

Workflow file for this run

name: Verify
on:
push:
branches-ignore:
- main
jobs:
build:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
with:
token: ${{ secrets.GITHUB_TOKEN }}
- name: Set up JDK 17
uses: actions/setup-java@v3
with:
java-version: '17'
distribution: 'adopt'
- name: Build with Maven
run: mvn --batch-mode verify