Code

Replace deprecated buildDir#898

Code

Open

Ao-senXiong wants to merge 6 commits intoeisop:mastereisop/checker-framework:masterfrom Ao-senXiong:builddir-deprecationAo-senXiong/checker-framework:builddir-deprecationCopy head branch name to clipboard

+19-18

Commits

Commits on Sep 4, 2024

• Use layout.buildDirectory to replace deprecated builddir

  Ao-senXiong

  committed
  938ab84

Commits on Dec 14, 2024

• Merge branch 'master' into builddir-deprecation

  Ao-senXiong

  authored
  417d9d7

• Fix failure when running test cases

  Ao-senXiong

  committed
  696ac2a

• Use projectDir if buildDir is used as string

  Ao-senXiong

  committed
  a14b212

Commits on Dec 27, 2024

• Use layout.buildDirectory.get().asFile to replace {projectDir}/build

  Ao-senXiong

  committed
  a3d52f3

• Merge branch 'master' into builddir-deprecation

  Ao-senXiong

  authored
  90867dd