Skip to content

Merge branch 'master' of https://github.com/protegeproject/webprotege… #1

Merge branch 'master' of https://github.com/protegeproject/webprotege…

Merge branch 'master' of https://github.com/protegeproject/webprotege… #1

Workflow file for this run

name: Java CI
on: [push]
jobs:
build:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
- name: Set up JDK 17
uses: actions/setup-java@v3
with:
java-version: '17'
distribution: 'temurin'
- name: Build with Maven
run: mvn --batch-mode --update-snapshots package