Add lost qualifier to viewpointtest type checker #656
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/[email protected] | |
- name: Setup Bazel | |
uses: bazel-contrib/[email protected] | |
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'] | |
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/[email protected] | |
- 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'] | |
# JDK 21 used by sanity before | |
java: [{version: '8', experimental: false}, | |
{version: '11', experimental: false}, | |
{version: '17', experimental: false}, | |
{version: '22', experimental: true}, | |
{version: '23-ea', experimental: true}, | |
{version: '24-ea', experimental: true}] | |
env: | |
JAVA_VERSION: ${{ matrix.java.version }} | |
continue-on-error: ${{ matrix.java.experimental }} | |
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' | |
- 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/[email protected] | |
- name: Setup Bazel | |
uses: bazel-contrib/[email protected] | |
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/[email protected] | |
- 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 |