Skip to content

Deal with multiple possible callables #366

Deal with multiple possible callables

Deal with multiple possible callables #366

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 17
uses: actions/setup-java@v3
with:
java-version: '17'
distribution: 'temurin'
cache: maven
- name: Install Python.
uses: actions/setup-python@v5
with:
python-version: '3.10'
cache: 'pip'
- name: Install Python dependencies.
run: pip install -r requirements.txt
- name: Check formatting with spotless.
run: mvn spotless:check -B
- 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 install -B -q -DskipTests
popd
- name: Build with Maven
run: mvn -Dlogging.config.file=\${maven.multiModuleProjectDirectory}/logging.ci.properties verify -B