Skip to content

Merge pull request #14 from resess/dependabot/maven/FlowDroid/soot-in… #24

Merge pull request #14 from resess/dependabot/maven/FlowDroid/soot-in…

Merge pull request #14 from resess/dependabot/maven/FlowDroid/soot-in… #24

Workflow file for this run

# This workflow will build a Java project with Maven
# For more information see: https://help.github.com/actions/language-and-framework-guides/building-and-testing-java-with-maven
name: Build
on:
push:
branches: [ master ]
pull_request:
branches: [ master ]
jobs:
build:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v2
- name: Set up JDK 11
uses: actions/setup-java@v2
with:
java-version: '11'
distribution: 'adopt'
- name: Build with Maven
run: |
cd ../
git clone https://github.com/resess/DynamicSlicingCore
cd DynamicSlicingCore/core
mvn -DskipTests -B package install --file pom.xml
cd ../../Mandoline/Mandoline
mvn -DskipTests -B package install --file pom.xml