Move misc CI checks to GitHub Actions
#852
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.10.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 before | |
| java: [{version: '8', experimental: false}, | |
| {version: '11', experimental: false}, | |
| {version: '17', experimental: false}, | |
| {version: '23', experimental: false}, | |
| {version: '24-ea', experimental: true}] | |
| env: | |
| JAVA_VERSION: ${{ matrix.java.version }} | |
| continue-on-error: ${{ matrix.java.experimental }} | |
| 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' | |
| - 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 | |
| # 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: Setup Bazel | |
| uses: bazel-contrib/setup-bazel@0.10.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 | |
| # TODO: it would be nicer to not run the job at all, but GH Actions does | |
| # not allow accessing the matrix on the job-if clause. There is also no way | |
| # for an earlier step to stop execution successfully. | |
| # | |
| # At least one plume-lib project no longer works on Java 8. | |
| # Java 8 does not allow toolchains, so testing 'cftests-junit-jdk21' is unnecessary. | |
| # Daikon produces 'this-escape' compiler warnings in JDK 22+. | |
| if: (matrix.java.version != 8 || (matrix.script != 'plume-lib' && matrix.script != 'cftests-junit-jdk21')) && | |
| (matrix.java.version <= 21 || (matrix.script != 'daikon-part1' && matrix.script != 'daikon-part2')) | |
| # 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 |