Code

update goal files for Ubuntu-24.10#570

Code

Open

markro49 wants to merge 14 commits intocodespecs:mastercodespecs/daikon:masterfrom markro49:ubuntu-2410markro49/daikon:ubuntu-2410Copy head branch name to clipboard

+647,603-135

Commits

Commits on Nov 16, 2024

• Update Dockerfiles

  mernst

  committed
  6fc2c6f

• update goal files for Ubuntu-24.10

  markro49

  committed
  c959e2b

• Actually use 24.10

  mernst

  committed
  3e23ee5

Commits on Nov 17, 2024

• Merge ../daikon-fork-markro49-branch-ubuntu-2410 into docker-ubuntu-24-10

  mernst

  committed
  6350578

Commits on Nov 22, 2024

• Set Java version explicitly

  mernst

  committed
  648b1d9

• Bundlle Checker Framework 3.48.2

  mernst

  committed
  c0ba7de

Commits on Nov 23, 2024

• Use LABEL instead of MAINTAINER in dockerfiles

  mernst

  committed
  f9e4cf3

• Test Java 23 instead of Java 24

  mernst

  committed
  a83b9c2

• Merge branch 'docker-ubuntu-24-10' of github.com:mernst/daikon into docker-ubuntu-24-10

  mernst

  committed
  c904881

• java 23 needs same changes as java 24

  markro49

  committed
  5a24caf

Commits on Nov 24, 2024

• Merge ../daikon-fork-markro49-branch-ubuntu-2410 into docker-ubuntu-24-10

  mernst

  committed
  8ad5a8c

Commits on Nov 26, 2024

• Merge ../daikon-branch-master into docker-ubuntu-24-10

  mernst

  committed
  1f7fb8c

• Merge branch 'docker-ubuntu-24-10' of github.com:mernst/daikon into docker-ubuntu-24-10

  mernst

  committed
  c54bab4

Commits on Dec 19, 2024

• More diagnostics

  mernst

  committed
  36068c1