azure-pipelines.yml

jobs:

# The dependsOn clauses (in this file and in .circleci/config.yml) are:
#  * Everything not *_ubuntu_jdk17 or typecheck_*_jdk17 depends on jdk17_jobs.
#  * Anything *_jdk8 or *_jdk11 or _jdk20 depends on *_jdk17.
#  * Anything *_rockylinux_* depends on *_ubuntu_*.

# The remainder of jobs are run only if the jdk17_jobs pass.
- job: jdk17_jobs
  dependsOn:
    - quick_txt_diff_ubuntu_jdk17
    - nonquick_txt_diff_ubuntu_jdk17
    - non_txt_diff_ubuntu_jdk17
    - misc_ubuntu_jdk17
    - misc_ubuntu_jdk20
    - kvasir_ubuntu_jdk17
    - typecheck_latest_jdk17
    - typecheck_bundled_jdk17
  pool:
    vmImage: 'ubuntu-latest'
  steps:
  - checkout: none
  - bash: true

- job: quick_txt_diff_ubuntu_jdk8
  dependsOn:
    - jdk17_jobs
    - quick_txt_diff_ubuntu_jdk17
  pool:
    vmImage: 'ubuntu-latest'
  container: mdernst/daikon-ubuntu-jdk8:latest
  steps:
  - checkout: self
    fetchDepth: 25
  - bash: ./scripts/test-quick-txt-diff.sh
    displayName: test-quick-txt-diff.sh

- job: quick_txt_diff_ubuntu_jdk11
  dependsOn:
    - jdk17_jobs
    - quick_txt_diff_ubuntu_jdk17
  pool:
    vmImage: 'ubuntu-latest'
  container: mdernst/daikon-ubuntu-jdk11:latest
  steps:
  - checkout: self
    fetchDepth: 25
  - bash: ./scripts/test-quick-txt-diff.sh
    displayName: test-quick-txt-diff.sh

- job: quick_txt_diff_ubuntu_jdk17
  pool:
    vmImage: 'ubuntu-latest'
  container: mdernst/daikon-ubuntu-jdk17:latest
  steps:
  - checkout: self
    fetchDepth: 25
  - bash: ./scripts/test-quick-txt-diff.sh
    displayName: test-quick-txt-diff.sh

- job: quick_txt_diff_ubuntu_jdk20
  dependsOn:
    - jdk17_jobs
    - quick_txt_diff_ubuntu_jdk17
  pool:
    vmImage: 'ubuntu-latest'
  container: mdernst/daikon-ubuntu-jdk20:latest
  steps:
  - checkout: self
    fetchDepth: 25
  - bash: ./scripts/test-quick-txt-diff.sh
    displayName: test-quick-txt-diff.sh

- job: nonquick_txt_diff_ubuntu_jdk8
  dependsOn:
    - jdk17_jobs
    - nonquick_txt_diff_ubuntu_jdk17
  pool:
    vmImage: 'ubuntu-latest'
  container: mdernst/daikon-ubuntu-jdk8:latest
  steps:
  - checkout: self
    fetchDepth: 25
  - bash: ./scripts/test-nonquick-txt-diff.sh
    displayName: test-nonquick-txt-diff.sh

- job: nonquick_txt_diff_ubuntu_jdk11
  dependsOn:
    - jdk17_jobs
    - nonquick_txt_diff_ubuntu_jdk17
  pool:
    vmImage: 'ubuntu-latest'
  container: mdernst/daikon-ubuntu-jdk11:latest
  steps:
  - checkout: self
    fetchDepth: 25
  - bash: ./scripts/test-nonquick-txt-diff.sh
    displayName: test-nonquick-txt-diff.sh

- job: nonquick_txt_diff_ubuntu_jdk17
  pool:
    vmImage: 'ubuntu-latest'
  container: mdernst/daikon-ubuntu-jdk17:latest
  steps:
  - checkout: self
    fetchDepth: 25
  - bash: ./scripts/test-nonquick-txt-diff.sh
    displayName: test-nonquick-txt-diff.sh

- job: nonquick_txt_diff_ubuntu_jdk20
  dependsOn:
    - jdk17_jobs
    - nonquick_txt_diff_ubuntu_jdk17
  pool:
    vmImage: 'ubuntu-latest'
  container: mdernst/daikon-ubuntu-jdk20:latest
  steps:
  - checkout: self
    fetchDepth: 25
  - bash: ./scripts/test-nonquick-txt-diff.sh
    displayName: test-nonquick-txt-diff.sh

- job: non_txt_diff_ubuntu_jdk8
  dependsOn:
    - jdk17_jobs
    - non_txt_diff_ubuntu_jdk17
  pool:
    vmImage: 'ubuntu-latest'
  container: mdernst/daikon-ubuntu-jdk8:latest
  steps:
  - checkout: self
    fetchDepth: 25
  - bash: ./scripts/test-non-txt-diff.sh
    displayName: test-non-txt-diff.sh

- job: non_txt_diff_ubuntu_jdk11
  dependsOn:
    - jdk17_jobs
    - non_txt_diff_ubuntu_jdk17
  pool:
    vmImage: 'ubuntu-latest'
  container: mdernst/daikon-ubuntu-jdk11:latest
  steps:
  - checkout: self
    fetchDepth: 25
  - bash: ./scripts/test-non-txt-diff.sh
    displayName: test-non-txt-diff.sh

- job: non_txt_diff_ubuntu_jdk17
  pool:
    vmImage: 'ubuntu-latest'
  container: mdernst/daikon-ubuntu-jdk17:latest
  steps:
  - checkout: self
    fetchDepth: 25
  - bash: ./scripts/test-non-txt-diff.sh
    displayName: test-non-txt-diff.sh

- job: non_txt_diff_ubuntu_jdk20
  dependsOn:
    - jdk17_jobs
    - non_txt_diff_ubuntu_jdk17
  pool:
    vmImage: 'ubuntu-latest'
  container: mdernst/daikon-ubuntu-jdk20:latest
  steps:
  - checkout: self
    fetchDepth: 25
  - bash: ./scripts/test-non-txt-diff.sh
    displayName: test-non-txt-diff.sh

- job: misc_ubuntu_jdk8
  dependsOn:
    - jdk17_jobs
    - misc_ubuntu_jdk17
  pool:
    vmImage: 'ubuntu-latest'
  container: mdernst/daikon-ubuntu-jdk8-plus:latest
  steps:
  - checkout: self
    fetchDepth: 25
  - bash: make showvars
    displayName: make showvars
  - bash: ./scripts/test-misc.sh
    displayName: test-misc.sh

- job: misc_ubuntu_jdk11
  dependsOn:
    - jdk17_jobs
    - misc_ubuntu_jdk17
  pool:
    vmImage: 'ubuntu-latest'
  container: mdernst/daikon-ubuntu-jdk11-plus:latest
  steps:
  - checkout: self
    fetchDepth: 25
  - bash: make showvars
    displayName: make showvars
  - bash: ./scripts/test-misc.sh
    displayName: test-misc.sh

- job: misc_ubuntu_jdk17
  pool:
    vmImage: 'ubuntu-latest'
  container: mdernst/daikon-ubuntu-jdk17-plus:latest
  steps:
  - checkout: self
    fetchDepth: 25
  - bash: make showvars
    displayName: make showvars
  - bash: ./scripts/test-misc.sh
    displayName: test-misc.sh

- job: misc_ubuntu_jdk20
  dependsOn:
#   - jdk17_jobs
    - misc_ubuntu_jdk17
  pool:
    vmImage: 'ubuntu-latest'
  container: mdernst/daikon-ubuntu-jdk20-plus:latest
  steps:
  - checkout: self
    fetchDepth: 25
  - bash: make showvars
    displayName: make showvars
  - bash: ./scripts/test-misc.sh
    displayName: test-misc.sh

- job: kvasir_ubuntu_jdk8
  dependsOn:
    - jdk17_jobs
    - kvasir_ubuntu_jdk17
  pool:
    vmImage: 'ubuntu-latest'
  container: mdernst/daikon-ubuntu-jdk8-plus:latest
  steps:
  - checkout: self
    fetchDepth: 25
  - bash: ./scripts/test-kvasir.sh
    displayName: test-kvasir.sh

- job: kvasir_ubuntu_jdk11
  dependsOn:
    - jdk17_jobs
    - kvasir_ubuntu_jdk17
  pool:
    vmImage: 'ubuntu-latest'
  container: mdernst/daikon-ubuntu-jdk11-plus:latest
  steps:
  - checkout: self
    fetchDepth: 25
  - bash: ./scripts/test-kvasir.sh
    displayName: test-kvasir.sh

- job: kvasir_ubuntu_jdk17
  pool:
    vmImage: 'ubuntu-latest'
  container: mdernst/daikon-ubuntu-jdk17-plus:latest
  steps:
  - checkout: self
    fetchDepth: 25
  - bash: ./scripts/test-kvasir.sh
    displayName: test-kvasir.sh

- job: kvasir_ubuntu_jdk20
  dependsOn:
    - jdk17_jobs
    - kvasir_ubuntu_jdk17
  pool:
    vmImage: 'ubuntu-latest'
  container: mdernst/daikon-ubuntu-jdk20-plus:latest
  steps:
  - checkout: self
    fetchDepth: 25
  - bash: ./scripts/test-kvasir.sh
    displayName: test-kvasir.sh

## The Checker Framework cannot be built under Java 8.
# - job: typecheck_jdk8
#   dependsOn:
#     - jdk17_jobs
#     - typecheck_jdk17
#   pool:
#     vmImage: 'ubuntu-latest'
#   container: mdernst/daikon-ubuntu-jdk8-plus:latest
#   timeoutInMinutes: 70
#   steps:
#   - checkout: self
#     fetchDepth: 25
#   - bash: |
#       java -version
#       javac -version
#     displayName: show Java version
#   - bash: ./scripts/test-typecheck-with-latest-cf.sh
#     displayName: test-typecheck-with-latest-cf.sh

- job: typecheck_latest_jdk11
  dependsOn:
    - jdk17_jobs
    - typecheck_latest_jdk17
  pool:
    vmImage: 'ubuntu-latest'
  container: mdernst/daikon-ubuntu-jdk11-plus:latest
  timeoutInMinutes: 80
  steps:
  - checkout: self
    fetchDepth: 25
  - bash: |
      java -version
      javac -version
    displayName: show Java version
  - bash: ./scripts/test-typecheck-with-latest-cf.sh
    displayName: test-typecheck-with-latest-cf.sh

- job: typecheck_bundled_jdk11
  dependsOn:
    - jdk17_jobs
    - typecheck_bundled_jdk17
  pool:
    vmImage: 'ubuntu-latest'
  container: mdernst/daikon-ubuntu-jdk11-plus:latest
  timeoutInMinutes: 80
  steps:
  - checkout: self
    fetchDepth: 25
  - bash: |
      java -version
      javac -version
    displayName: show Java version
  - bash: ./scripts/test-typecheck-with-bundled-cf.sh
    displayName: test-typecheck-with-bundled-cf.sh

- job: typecheck_latest_jdk17
  pool:
    vmImage: 'ubuntu-latest'
  container: mdernst/daikon-ubuntu-jdk17-plus:latest
  timeoutInMinutes: 80
  steps:
  - checkout: self
    fetchDepth: 25
  - bash: |
      java -version
      javac -version
    displayName: show Java version
  - bash: ./scripts/test-typecheck-with-latest-cf.sh
    displayName: test-typecheck-with-latest-cf.sh

- job: typecheck_bundled_jdk17
  pool:
    vmImage: 'ubuntu-latest'
  container: mdernst/daikon-ubuntu-jdk17-plus:latest
  timeoutInMinutes: 80
  steps:
  - checkout: self
    fetchDepth: 25
  - bash: |
      java -version
      javac -version
    displayName: show Java version
  - bash: ./scripts/test-typecheck-with-bundled-cf.sh
    displayName: test-typecheck-with-bundled-cf.sh

- job: typecheck_latest_jdk20
  dependsOn:
    - jdk17_jobs
    - typecheck_latest_jdk17
  pool:
    vmImage: 'ubuntu-latest'
  container: mdernst/daikon-ubuntu-jdk20-plus:latest
  timeoutInMinutes: 80
  steps:
  - checkout: self
    fetchDepth: 25
  - bash: |
      java -version
      javac -version
    displayName: show Java version
  - bash: ./scripts/test-typecheck-with-latest-cf.sh
    displayName: test-typecheck-with-latest-cf.sh

- job: typecheck_bundled_jdk20
  dependsOn:
    - jdk17_jobs
    - typecheck_bundled_jdk17
  pool:
    vmImage: 'ubuntu-latest'
  container: mdernst/daikon-ubuntu-jdk20-plus:latest
  timeoutInMinutes: 80
  steps:
  - checkout: self
    fetchDepth: 25
  - bash: |
      java -version
      javac -version
    displayName: show Java version
  - bash: ./scripts/test-typecheck-with-bundled-cf.sh
    displayName: test-typecheck-with-bundled-cf.sh

- job: quick_txt_diff_rockylinux_jdk8
  dependsOn:
    - jdk17_jobs
    - quick_txt_diff_rockylinux_jdk17
    - quick_txt_diff_ubuntu_jdk8
  pool:
    vmImage: 'ubuntu-latest'
  container: mdernst/daikon-rockylinux-jdk8:latest
  steps:
  - checkout: self
    fetchDepth: 25
  - bash: ./scripts/test-quick-txt-diff.sh
    displayName: test-quick-txt-diff.sh

- job: quick_txt_diff_rockylinux_jdk11
  dependsOn:
    - jdk17_jobs
    - quick_txt_diff_rockylinux_jdk17
    - quick_txt_diff_ubuntu_jdk11
  pool:
    vmImage: 'ubuntu-latest'
  container: mdernst/daikon-rockylinux-jdk11:latest
  steps:
  - checkout: self
    fetchDepth: 25
  - bash: ./scripts/test-quick-txt-diff.sh
    displayName: test-quick-txt-diff.sh

- job: quick_txt_diff_rockylinux_jdk17
  dependsOn:
    - jdk17_jobs
    - quick_txt_diff_ubuntu_jdk17
  pool:
    vmImage: 'ubuntu-latest'
  container: mdernst/daikon-rockylinux-jdk17:latest
  steps:
  - checkout: self
    fetchDepth: 25
  - bash: ./scripts/test-quick-txt-diff.sh
    displayName: test-quick-txt-diff.sh

- job: nonquick_txt_diff_rockylinux_jdk8
  dependsOn:
    - jdk17_jobs
    - nonquick_txt_diff_rockylinux_jdk17
    - nonquick_txt_diff_ubuntu_jdk8
  pool:
    vmImage: 'ubuntu-latest'
  container: mdernst/daikon-rockylinux-jdk8:latest
  steps:
  - checkout: self
    fetchDepth: 25
  - bash: ./scripts/test-nonquick-txt-diff.sh
    displayName: test-nonquick-txt-diff.sh

- job: nonquick_txt_diff_rockylinux_jdk11
  dependsOn:
    - jdk17_jobs
    - nonquick_txt_diff_rockylinux_jdk17
    - nonquick_txt_diff_ubuntu_jdk11
  pool:
    vmImage: 'ubuntu-latest'
  container: mdernst/daikon-rockylinux-jdk11:latest
  steps:
  - checkout: self
    fetchDepth: 25
  - bash: ./scripts/test-nonquick-txt-diff.sh
    displayName: test-nonquick-txt-diff.sh

- job: nonquick_txt_diff_rockylinux_jdk17
  dependsOn:
    - jdk17_jobs
    - nonquick_txt_diff_ubuntu_jdk17
  pool:
    vmImage: 'ubuntu-latest'
  container: mdernst/daikon-rockylinux-jdk17:latest
  steps:
  - checkout: self
    fetchDepth: 25
  - bash: ./scripts/test-nonquick-txt-diff.sh
    displayName: test-nonquick-txt-diff.sh

- job: non_txt_diff_rockylinux_jdk8
  dependsOn:
    - jdk17_jobs
    - non_txt_diff_rockylinux_jdk17
    - non_txt_diff_ubuntu_jdk8
  pool:
    vmImage: 'ubuntu-latest'
  container: mdernst/daikon-rockylinux-jdk8:latest
  steps:
  - checkout: self
    fetchDepth: 25
  - bash: ./scripts/test-non-txt-diff.sh
    displayName: test-non-txt-diff.sh

- job: non_txt_diff_rockylinux_jdk11
  dependsOn:
    - jdk17_jobs
    - non_txt_diff_rockylinux_jdk17
    - non_txt_diff_ubuntu_jdk11
  pool:
    vmImage: 'ubuntu-latest'
  container: mdernst/daikon-rockylinux-jdk11:latest
  steps:
  - checkout: self
    fetchDepth: 25
  - bash: ./scripts/test-non-txt-diff.sh
    displayName: test-non-txt-diff.sh

- job: non_txt_diff_rockylinux_jdk17
  dependsOn:
    - jdk17_jobs
    - non_txt_diff_ubuntu_jdk17
  pool:
    vmImage: 'ubuntu-latest'
  container: mdernst/daikon-rockylinux-jdk17:latest
  steps:
  - checkout: self
    fetchDepth: 25
  - bash: ./scripts/test-non-txt-diff.sh
    displayName: test-non-txt-diff.sh

- job: misc_rockylinux_jdk8
  dependsOn:
    - jdk17_jobs
    - misc_rockylinux_jdk17
    - misc_ubuntu_jdk8
  pool:
    vmImage: 'ubuntu-latest'
  container: mdernst/daikon-rockylinux-jdk8-plus:latest
  steps:
  - checkout: self
    fetchDepth: 25
  - bash: make showvars
    displayName: make showvars
  - bash: ./scripts/test-misc.sh
    displayName: test-misc.sh

- job: misc_rockylinux_jdk11
  dependsOn:
    - jdk17_jobs
    - misc_rockylinux_jdk17
    - misc_ubuntu_jdk11
  pool:
    vmImage: 'ubuntu-latest'
  container: mdernst/daikon-rockylinux-jdk11-plus:latest
  steps:
  - checkout: self
    fetchDepth: 25
  - bash: make showvars
    displayName: make showvars
  - bash: ./scripts/test-misc.sh
    displayName: test-misc.sh

- job: misc_rockylinux_jdk17
  dependsOn:
    - jdk17_jobs
    - misc_ubuntu_jdk17
  pool:
    vmImage: 'ubuntu-latest'
  container: mdernst/daikon-rockylinux-jdk17-plus:latest
  steps:
  - checkout: self
    fetchDepth: 25
  - bash: make showvars
    displayName: make showvars
  - bash: ./scripts/test-misc.sh
    displayName: test-misc.sh

- job: kvasir_rockylinux_jdk8
  dependsOn:
    - jdk17_jobs
    - kvasir_rockylinux_jdk17
    - kvasir_ubuntu_jdk8
  pool:
    vmImage: 'ubuntu-latest'
  container: mdernst/daikon-rockylinux-jdk8-plus:latest
  steps:
  - checkout: self
    fetchDepth: 25
  - bash: ./scripts/test-kvasir.sh
    displayName: test-kvasir.sh

- job: kvasir_rockylinux_jdk11
  dependsOn:
    - jdk17_jobs
    - kvasir_rockylinux_jdk17
    - kvasir_ubuntu_jdk11
  pool:
    vmImage: 'ubuntu-latest'
  container: mdernst/daikon-rockylinux-jdk11-plus:latest
  steps:
  - checkout: self
    fetchDepth: 25
  - bash: ./scripts/test-kvasir.sh
    displayName: test-kvasir.sh

- job: kvasir_rockylinux_jdk17
  dependsOn:
    - jdk17_jobs
    - kvasir_ubuntu_jdk17
  pool:
    vmImage: 'ubuntu-latest'
  container: mdernst/daikon-rockylinux-jdk17-plus:latest
  steps:
  - checkout: self
    fetchDepth: 25
  - bash: ./scripts/test-kvasir.sh
    displayName: test-kvasir.sh