Update force merge polling #548
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: Integ Actions | |
| on: [workflow_dispatch, pull_request] | |
| jobs: | |
| Integration-Tests: | |
| strategy: | |
| matrix: | |
| python-version: | |
| - "3.8" | |
| - "3.9" | |
| - "3.10" | |
| - "3.11" | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: actions/setup-python@v4 | |
| with: | |
| python-version: ${{ matrix.python-version }} | |
| - name: Check out repository code | |
| uses: actions/checkout@v2 | |
| - name: Clone pyenv | |
| run: git clone https://github.com/pyenv/pyenv.git ~/.pyenv | |
| - name: Clone pyenv-virtualenv | |
| run: git clone https://github.com/pyenv/pyenv-virtualenv.git ~/.pyenv/plugins/pyenv-virtualenv | |
| - name: Install JDK 8 | |
| uses: actions/setup-java@v3 | |
| with: | |
| distribution: 'adopt' | |
| java-version: '8' | |
| - run: echo "JAVA8_HOME=$JAVA_HOME" >> $GITHUB_ENV | |
| - name: Install JDK 11 | |
| uses: actions/setup-java@v3 | |
| with: | |
| distribution: 'adopt' | |
| java-version: '11' | |
| - run: echo "JAVA11_HOME=$JAVA_HOME" >> $GITHUB_ENV | |
| - name: Install JDK 15 | |
| uses: actions/setup-java@v3 | |
| with: | |
| distribution: 'adopt' | |
| java-version: '15' | |
| - run: echo "JAVA15_HOME=$JAVA_HOME" >> $GITHUB_ENV | |
| - name: Install JDK 16 | |
| uses: actions/setup-java@v3 | |
| with: | |
| distribution: 'adopt' | |
| java-version: '16' | |
| - run: echo "JAVA16_HOME=$JAVA_HOME" >> $GITHUB_ENV | |
| - name: Install JDK 17 | |
| uses: actions/setup-java@v3 | |
| with: | |
| distribution: 'adopt' | |
| java-version: '17' | |
| - run: echo "JAVA17_HOME=$JAVA_HOME" >> $GITHUB_ENV | |
| - name: Run the CI build_it script | |
| run: bash .ci/build.sh build_it ${{ matrix.python-version }} | |
| env: | |
| BENCHMARK_HOME: env.GITHUB_WORKSPACE |