CI Script to build after pull request

pull/489/head
Michael Christen 2 years ago committed by GitHub
parent 1c3c59de85
commit be8ab9771f
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

@ -0,0 +1,15 @@
name: CI Script to build after pull request
on: pull_request
jobs:
build:
steps:
- uses: actions/checkout@master
- name: Set up JDK 8
uses: actions/setup-java@v3
with:
java-version: '8'
distribution: 'temurin'
- name: Build with ant
run: ant clean all dist
Loading…
Cancel
Save