Code

Daikon handling in CI, cleanups#830

Code

Merged

wmdietl merged 27 commits intomastereisop/checker-framework:masterfrom azure-depseisop/checker-framework:azure-depsCopy head branch name to clipboardAug 9, 2024

+28-863

Commits

Commits on Aug 7, 2024

• Don't block daikon on misc_jdk21

  wmdietl

  committed
  b254ced

• Attempt running daikon on GitHub Actions

  wmdietl

  committed
  cdb2d25

• Merge branch 'master' of github.com:eisop/checker-framework into azure-deps

  wmdietl

  committed
  ffdccb6

• Improve documentation

  wmdietl

  committed
  85bf2a2

• Only keep misc jobs in Azure Pipelines, run them in parallel

  wmdietl

  committed
  6b4d10b

• Check daikon on all JDKs (is this worth it??), JDK 22 is not experimental

  wmdietl

  committed
  706a2e1

• Document absence of dependency

  wmdietl

  committed
  0752928

• Add debugging output

  wmdietl

  committed
  d05394a

Commits on Aug 8, 2024

• Revert "Add debugging output"

  Show description for 56c9d40
  wmdietl

  committed
  56c9d40

• Daikon fails with this-escape warnings in JDK 23+

  wmdietl

  committed
  c604a3f

• Revert "Revert "Add debugging output""

  Show description for ba9dd31
  wmdietl

  committed
  ba9dd31

• Document daikon exclusions.

  wmdietl

  committed
  5c850b4

• More debugging

  wmdietl

  committed
  ad194d0

• Fix compilation error

  wmdietl

  committed
  45063ed

• Debugging

  wmdietl

  committed
  9e10cd8

• Start undoing debugging output, see at what point it fails

  wmdietl

  committed
  b212704

• Undo

  wmdietl

  committed
  dc120e3

• Undo

  wmdietl

  committed
  e8ab042

• Comment out other tests for now

  wmdietl

  committed
  a16d78e

• Disable remainder

  wmdietl

  committed
  3da3eef

• Let's see whether System.setErr is the problem...

  wmdietl

  committed
  55360db

• Things are still working...

  wmdietl

  committed
  7bfa32b

• Comment out output...

  wmdietl

  committed
  2a78128

• Keep JDK 22 experimental until bug is fixed

  wmdietl

  committed
  a9792c7

• Only comment changes are left...

  wmdietl

  committed
  cff5a51

Commits on Aug 9, 2024

• Only remove comments...

  wmdietl

  committed
  9e1b684

• Restore all jobs

  wmdietl

  committed
  54c74df