Prune writes to constant instances in the Python ModRef analysis #123
Workflow file for this run
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| 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 |