continuous-integration.yml

name: Continuous integration
on:
  push:
    branches: [ "master" ]
  pull_request:
    branches: [ "master" ]
concurrency:
  group: ${{ github.ref }}
  cancel-in-progress: true
jobs:
  build:
    runs-on: ubuntu-latest
    steps:
    - name: Check out wala/ML sources
      uses: actions/checkout@v3
    - name: Set up JDK 11
      uses: actions/setup-java@v3
      with:
        java-version: '11'
        distribution: 'temurin'
        cache: maven
    - name: Checkout wala/IDE sources.
      run: git clone --depth=1 https://github.com/wala/IDE ${{ runner.temp }}/IDE
    - name: Checkout ponder-lab/jython3 sources.
      run: git clone --depth=1 https://github.com/ponder-lab/jython3.git ${{ runner.temp }}/jython3
    - name: Install Jython3.
      run: |
        pushd ${{ runner.temp }}/jython3
        ant
        pushd dist
        mvn install:install-file -Dfile=./jython-dev.jar -DgroupId="org.python" -DartifactId="jython3" -Dversion="0.0.1-SNAPSHOT" -Dpackaging="jar" -DgeneratePom=true
        popd
        popd
      shell: bash
    - name: Install IDE.
      run: |
        pushd ${{ runner.temp }}/IDE/com.ibm.wala.cast.lsp
        mvn clean install -B -q -DskipTests
        popd
    - name: Check formatting with spotless.
      run: mvn spotless:check -B
    - name: Build with Maven
      run: mvn -Dlogging.config.file=\${maven.multiModuleProjectDirectory}/logging.ci.properties clean verify -B