Move PICO to EISOP #910
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: CI tests | |
| on: | |
| pull_request: | |
| push: | |
| branches: [ "master" ] | |
| # Configure GitHub Actions cancel in progress workflow to avoid redundant runs in pull requests. | |
| # See: https://docs.github.com/en/enterprise-cloud@latest/actions/writing-workflows/choosing-what-your-workflow-does/control-the-concurrency-of-workflows-and-jobs | |
| concurrency: | |
| group: ${{ github.workflow }}-${{ github.ref }} | |
| cancel-in-progress: ${{ !contains(github.ref, 'heads/master')}} | |
| jobs: | |
| # Basic sanity tests on JDK 21. | |
| sanity: | |
| name: ${{ matrix.script }} on JDK ${{ matrix.java_version }} | |
| runs-on: ubuntu-latest | |
| permissions: | |
| contents: read | |
| strategy: | |
| matrix: | |
| script: ['cftests-junit', 'cftests-nonjunit'] | |
| java_version: [21] | |
| env: | |
| JAVA_VERSION: ${{ matrix.java_version }} | |
| steps: | |
| - uses: actions/checkout@v4 | |
| - name: Set up JDK ${{ matrix.java_version }} | |
| uses: actions/setup-java@v4 | |
| with: | |
| java-version: ${{ matrix.java_version }} | |
| distribution: 'temurin' | |
| # Configure Gradle for optimal use in GitHub Actions, including caching of downloaded dependencies. | |
| # See: https://github.com/gradle/actions/blob/main/setup-gradle/README.md | |
| - name: Setup Gradle | |
| uses: gradle/actions/setup-gradle@v4.2.2 | |
| - name: Setup Bazel | |
| uses: bazel-contrib/setup-bazel@0.12.0 | |
| if: ${{ matrix.script == 'cftests-nonjunit' }} | |
| with: | |
| # Avoid downloading Bazel every time. | |
| bazelisk-cache: true | |
| # Store build cache per workflow. | |
| disk-cache: ${{ github.workflow }} | |
| # Share repository cache between workflows. | |
| repository-cache: true | |
| - name: Run test script checker/bin-devel/test-${{ matrix.script }} | |
| run: ./checker/bin-devel/test-${{ matrix.script }}.sh | |
| # The remaining tests for JDK 21. Separate from `sanity` to allow parallelism with `otheros`. | |
| remainder: | |
| name: ${{ matrix.script }} on JDK ${{ matrix.java_version }} | |
| runs-on: ubuntu-latest | |
| # Don't depend on sanity jobs, to have more parallelism. | |
| # TODO: cancel these jobs if sanity fails. | |
| # needs: sanity | |
| permissions: | |
| contents: read | |
| strategy: | |
| fail-fast: true | |
| matrix: | |
| # No need to run 'cftests-junit-jdk21' on JDK 21. | |
| script: ['typecheck-part1', 'typecheck-part2', | |
| 'guava', 'plume-lib', | |
| 'daikon-part1', 'daikon-part2', | |
| 'jspecify-conformance', 'jspecify-reference-checker', | |
| 'misc'] | |
| java_version: [21] | |
| env: | |
| JAVA_VERSION: ${{ matrix.java_version }} | |
| steps: | |
| - uses: actions/checkout@v4 | |
| if: ${{ matrix.script != 'misc' }} | |
| with: | |
| fetch-depth: 1 | |
| - uses: actions/checkout@v4 | |
| if: ${{ matrix.script == 'misc' }} | |
| with: | |
| # CI diff needs more history - 0 fetches all history. | |
| fetch-depth: 0 | |
| - name: Set up JDK ${{ matrix.java_version }} | |
| uses: actions/setup-java@v4 | |
| with: | |
| java-version: ${{ matrix.java_version }} | |
| distribution: 'temurin' | |
| # Configure Gradle for optimal use in GitHub Actions, including caching of downloaded dependencies. | |
| # See: https://github.com/gradle/actions/blob/main/setup-gradle/README.md | |
| - name: Setup Gradle | |
| uses: gradle/actions/setup-gradle@v4.2.2 | |
| # Setup for misc tests | |
| - name: Install misc dependencies | |
| if: ${{ matrix.script == 'misc' }} | |
| run: | | |
| sudo apt install -y shellcheck devscripts python3-pip \ | |
| texlive-latex-base texlive-latex-extra latexmk librsvg2-bin \ | |
| autoconf dia hevea latexmk libasound2-dev rsync pdf2svg \ | |
| libcups2-dev libfontconfig1-dev libx11-dev libxext-dev \ | |
| libxrender-dev libxrandr-dev libxtst-dev libxt-dev \ | |
| texlive-font-utils texlive-fonts-recommended texlive-latex-recommended | |
| pip install black flake8 html5validator | |
| - name: Run test script checker/bin-devel/test-${{ matrix.script }} | |
| run: ./checker/bin-devel/test-${{ matrix.script }}.sh | |
| otherjdks: | |
| name: ${{ matrix.script }} on JDK ${{ matrix.java.version }} | |
| runs-on: ubuntu-latest | |
| needs: sanity | |
| permissions: | |
| contents: read | |
| strategy: | |
| fail-fast: true | |
| matrix: | |
| # `jspecify-conformance` and `jspecify-reference-checker` only tested on JDK 21. | |
| script: ['cftests-junit', 'cftests-nonjunit', 'cftests-junit-jdk21', | |
| 'typecheck-part1', 'typecheck-part2', | |
| 'guava', 'plume-lib', | |
| 'daikon-part1', 'daikon-part2', | |
| 'misc'] | |
| # JDK 21 used by `sanity` and `remainder` before. | |
| # `experimental` versions use the $version compiler, but run on JDK 21. | |
| java: [{version: '8', experimental: false}, | |
| {version: '11', experimental: false}, | |
| {version: '17', experimental: false}, | |
| {version: '23', experimental: false}, | |
| {version: '24-ea', experimental: true}] | |
| exclude: | |
| # JDK 8 does not allow toolchains, so testing 'cftests-junit-jdk21' is unnecessary. | |
| - script: 'cftests-junit-jdk21' | |
| java: {version: '8'} | |
| # Only run `typecheck*`, `guava`, and `misc` scripts on core versions, | |
| # so exclude 11 and 17. | |
| - script: 'typecheck-part1' | |
| java: {version: '11'} | |
| - script: 'typecheck-part1' | |
| java: {version: '17'} | |
| - script: 'typecheck-part2' | |
| java: {version: '11'} | |
| - script: 'typecheck-part2' | |
| java: {version: '17'} | |
| - script: 'guava' | |
| java: {version: '11'} | |
| - script: 'guava' | |
| java: {version: '17'} | |
| - script: 'misc' | |
| java: {version: '11'} | |
| - script: 'misc' | |
| java: {version: '17'} | |
| # At least one plume-lib project no longer works on Java 8, | |
| # so exclude 8, 11, and 17. | |
| - script: 'plume-lib' | |
| java: {version: '8'} | |
| - script: 'plume-lib' | |
| java: {version: '11'} | |
| - script: 'plume-lib' | |
| java: {version: '17'} | |
| # Daikon produces 'this-escape' compiler warnings in JDK 22+. | |
| # Exclude all versions here and just explicitly include with JDK 17. | |
| - script: 'daikon-part1' | |
| - script: 'daikon-part2' | |
| include: | |
| - script: 'daikon-part1' | |
| java: {version: '17', experimental: false} | |
| - script: 'daikon-part2' | |
| java: {version: '17', experimental: false} | |
| env: | |
| JAVA_VERSION: ${{ matrix.java.version }} | |
| continue-on-error: ${{ matrix.java.experimental }} | |
| steps: | |
| - name: Check out sources | |
| uses: actions/checkout@v4 | |
| if: ${{ matrix.script != 'misc' }} | |
| with: | |
| fetch-depth: 1 | |
| - name: Check out sources with all history | |
| uses: actions/checkout@v4 | |
| if: ${{ matrix.script == 'misc' }} | |
| with: | |
| # CI diff needs more history - 0 fetches all history. | |
| fetch-depth: 0 | |
| - name: Set up JDK ${{ matrix.java.version }} | |
| uses: actions/setup-java@v4 | |
| with: | |
| java-version: ${{ matrix.java.version }} | |
| distribution: 'temurin' | |
| - name: Set up JDK 21 on an experimental platform | |
| if: ${{ matrix.java.experimental }} | |
| uses: actions/setup-java@v4 | |
| with: | |
| # Install JDK 21 second, to make it the default on which gradle runs. | |
| # This unfortunately also means that all tests run on JDK 21 instead of the newer version. | |
| java-version: 21 | |
| distribution: 'temurin' | |
| # Configure Gradle for optimal use in GitHub Actions, including caching of downloaded dependencies. | |
| # See: https://github.com/gradle/actions/blob/main/setup-gradle/README.md | |
| - name: Setup Gradle | |
| uses: gradle/actions/setup-gradle@v4.2.2 | |
| - name: Install misc dependencies | |
| if: ${{ matrix.script == 'misc' }} | |
| run: | | |
| sudo apt install -y shellcheck devscripts python3-pip \ | |
| texlive-latex-base texlive-latex-extra latexmk librsvg2-bin \ | |
| autoconf dia hevea latexmk libasound2-dev rsync pdf2svg \ | |
| libcups2-dev libfontconfig1-dev libx11-dev libxext-dev \ | |
| libxrender-dev libxrandr-dev libxtst-dev libxt-dev \ | |
| texlive-font-utils texlive-fonts-recommended texlive-latex-recommended | |
| pip install black flake8 html5validator | |
| - name: Setup Bazel | |
| uses: bazel-contrib/setup-bazel@0.12.0 | |
| if: ${{ matrix.script == 'cftests-nonjunit' }} | |
| with: | |
| # Avoid downloading Bazel every time. | |
| bazelisk-cache: true | |
| # Store build cache per workflow. | |
| disk-cache: ${{ github.workflow }} | |
| # Share repository cache between workflows. | |
| repository-cache: true | |
| - name: Run test script checker/bin-devel/test-${{ matrix.script }} | |
| run: ./checker/bin-devel/test-${{ matrix.script }}.sh | |
| # Set the compiler version to use, allowing us to e.g. run Java 23 while gradle does not work | |
| # on Java 23 yet. This only tests the compiler, it does not use that version to run the tests. | |
| env: | |
| ORG_GRADLE_PROJECT_useJdkCompiler: ${{ matrix.java.version }} | |
| # Sanity tests on Windows and MacOS. | |
| otheros: | |
| name: ${{ matrix.script }} on JDK ${{ matrix.java_version }} on ${{ matrix.os }} | |
| runs-on: "${{ matrix.os }}" | |
| needs: sanity | |
| permissions: | |
| contents: read | |
| strategy: | |
| matrix: | |
| os: ['windows-latest', 'macos-latest'] | |
| script: ['cftests-junit'] | |
| java_version: [21] | |
| env: | |
| JAVA_VERSION: ${{ matrix.java_version }} | |
| steps: | |
| - uses: actions/checkout@v4 | |
| - name: Set up JDK ${{ matrix.java_version }} | |
| uses: actions/setup-java@v4 | |
| with: | |
| java-version: ${{ matrix.java_version }} | |
| distribution: 'temurin' | |
| # Configure Gradle for optimal use in GitHub Actions, including caching of downloaded dependencies. | |
| # See: https://github.com/gradle/actions/blob/main/setup-gradle/README.md | |
| - name: Setup Gradle | |
| uses: gradle/actions/setup-gradle@v4.2.2 | |
| - name: Install coreutils on MacOS | |
| if: ${{ matrix.os == 'macos-latest' }} | |
| run: brew install coreutils | |
| - name: Run test script checker/bin-devel/test-${{ matrix.script }} | |
| shell: bash | |
| run: ./checker/bin-devel/test-${{ matrix.script }}.sh |